From 5f03b204faad6a85dc8a346e9fdacbcda1b0a087 Mon Sep 17 00:00:00 2001
From: miks1965 <miks@math.sfedu.ru>
Date: Sat, 27 Jan 2018 11:00:35 +0300
Subject: [PATCH] LambdaInferenceTAsResult.pas

---
 TestSuite/LambdaInferenceTAsResult.pas | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 TestSuite/LambdaInferenceTAsResult.pas

diff --git a/TestSuite/LambdaInferenceTAsResult.pas b/TestSuite/LambdaInferenceTAsResult.pas
new file mode 100644
index 000000000..3c5637728
--- /dev/null
+++ b/TestSuite/LambdaInferenceTAsResult.pas
@@ -0,0 +1,5 @@
+function Inv<T>(p: ()->T): T := p();
+
+begin
+  Assert(Inv(()->1)=1)
+end.
\ No newline at end of file