LambdaInferenceTAsResult.pas

This commit is contained in:
miks1965 2018-01-27 11:00:35 +03:00
parent 47abf90efa
commit 5f03b204fa

View file

@ -0,0 +1,5 @@
function Inv<T>(p: ()->T): T := p();
begin
Assert(Inv(()->1)=1)
end.