20 lines
227 B
ObjectPascal
20 lines
227 B
ObjectPascal
unit u_where1;
|
|
|
|
var i: integer;
|
|
|
|
type
|
|
t1<T> = class end;
|
|
|
|
procedure p0<T,TEl>(a: T); where T: t1<TEl>;
|
|
begin
|
|
i := 1;
|
|
end;
|
|
|
|
procedure p1;
|
|
begin
|
|
p0&<t1<byte>,byte>(new t1<byte>);
|
|
end;
|
|
begin
|
|
p1;
|
|
assert(i = 1);
|
|
end. |