23 lines
327 B
ObjectPascal
23 lines
327 B
ObjectPascal
var i: integer;
|
||
|
||
procedure p0(p: byte->());
|
||
begin
|
||
p(1);
|
||
Inc(i);
|
||
end;
|
||
|
||
type
|
||
t1 = class
|
||
static procedure p1<T>(o: T) := exit;
|
||
procedure p2<T>(o: T) := exit;
|
||
end;
|
||
|
||
begin
|
||
// OK
|
||
p0(t1.p1&<byte>);
|
||
p0(t1.Create.p2&<byte>);
|
||
// А эти 2 падают
|
||
p0(t1.p1);
|
||
p0(t1.Create.p2);
|
||
assert(i = 4);
|
||
end. |