--- /dev/null
+struct f1 f2 end;\r
+\r
+func f(p1)\r
+ var fx:=p1;\r
+ p1:=1;\r
+ (* f1 not defined *)\r
+ f1:=4;\r
+ (* shoult throw one of\r
+ - f1 not defined\r
+ - field access not allowed (var fx exists)\r
+ - field fx not defined\r
+ *)\r
+ f1.fx:=p1;\r
+ p1.f1:=p1.f2;\r
+ f(p1,p1.f2).f3:=0AFFEH;\r
+ var f1:=3;\r
+end;\r
+\r
+struct f3 end;\r