This commit is contained in:
Ivan Bondarev 2021-01-14 20:52:30 +01:00
parent 34eb88dab7
commit d978d3bd88

View file

@ -0,0 +1,25 @@
type
t1<T> = class
procedure p1<T2>(f: T->T2);
begin
assert(f(default(T)).ToString() = '22');
end;
end;
procedure p1<T>;
begin
var o: t1<byte>;
o.p1(b->'22'); // ok
end;
procedure p2<TSource>;
begin
var o: t1<TSource> := new t1<TSource>;
o.p1(b->'22');
end;
begin
p2&<integer>;
end.