From f26fcbba631f9de79124b22e4e8088b8d9dbc648 Mon Sep 17 00:00:00 2001
From: Mikhalkovich Stanislav <miks@math.sfedu.ru>
Date: Sat, 11 Jul 2020 17:12:51 +0300
Subject: [PATCH] =?UTF-8?q?=D0=92=D0=BE=D1=81=D1=81=D1=82=D0=B0=D0=BD?=
 =?UTF-8?q?=D0=BE=D0=B2=D0=B8=D0=BB=20=D1=82=D1=80=D0=B8=20=D1=82=D0=B5?=
 =?UTF-8?q?=D1=81=D1=82=D0=B0=20is=5Fvar?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 TestSuite/isvar2.pas | 18 ++++++++++++++++++
 TestSuite/isvar3.pas | 19 +++++++++++++++++++
 TestSuite/isvar4.pas | 19 +++++++++++++++++++
 3 files changed, 56 insertions(+)
 create mode 100644 TestSuite/isvar2.pas
 create mode 100644 TestSuite/isvar3.pas
 create mode 100644 TestSuite/isvar4.pas

diff --git a/TestSuite/isvar2.pas b/TestSuite/isvar2.pas
new file mode 100644
index 000000000..4808ebbc9
--- /dev/null
+++ b/TestSuite/isvar2.pas
@@ -0,0 +1,18 @@
+function f1(o: object): sequence of object;
+begin
+  
+  //var c := o is object(var a);
+  if o is object(var a) then
+  begin
+  //  var b := a;
+  //  Writeln(a); // object
+    yield a;
+    Assert(a <> nil); // nil
+  //  Writeln(b); // object
+  //  b := b;
+  end;
+end;
+
+begin
+  foreach var o in f1(new object) do
+end.
\ No newline at end of file
diff --git a/TestSuite/isvar3.pas b/TestSuite/isvar3.pas
new file mode 100644
index 000000000..4f10e0e48
--- /dev/null
+++ b/TestSuite/isvar3.pas
@@ -0,0 +1,19 @@
+function f1(o: object): sequence of object;
+begin
+  
+  //var c := o is object(var a);
+  if o is object(var a) then
+  //begin
+  //  var b := a;
+  //  Writeln(a); // object
+    yield a;
+    //Assert(a <> nil); // nil
+  //  Writeln(b); // object
+  //  b := b;
+  //end;
+end;
+
+begin
+  foreach var o in f1(new object) do
+    Assert(o<>nil)
+end.
\ No newline at end of file
diff --git a/TestSuite/isvar4.pas b/TestSuite/isvar4.pas
new file mode 100644
index 000000000..3d54646af
--- /dev/null
+++ b/TestSuite/isvar4.pas
@@ -0,0 +1,19 @@
+function f1(o: object): sequence of object;
+begin
+  
+  var c := o is object(var a);
+  //if o is object(var a) then
+  //begin
+  //  var b := a;
+  //  Writeln(a); // object
+  yield a;
+  Assert(a <> nil); // nil
+  //  Writeln(b); // object
+  //  b := b;
+  //end;
+end;
+
+begin
+  foreach var o in f1(new object) do
+    
+end.
\ No newline at end of file