#2596

NETGenerator/NETGenerator.cs

@@ -8300,7 +8300,9 @@ namespace PascalABCCompiler.NETGenerator
             FieldInfo fi = fi_info.fi;
             is_dot_expr = true;
             has_dereferences = false;
+            is_field_reference = true;
             value.obj.visit(this);
+            is_field_reference = false;
             bool has_dereferences_tmp = has_dereferences;
             has_dereferences = false;
             is_dot_expr = false;

TestSuite/where19.pas

@@ -0,0 +1,21 @@
+type
+  t1 = class
+    f := true;
+  end;
+  
+procedure p<T>(o: T); where T: t1;
+begin
+  var oo := o;
+  assert(oo.f);
+  oo.f := false; // Записывает неправильно
+  assert(not oo.f);
+  o.f := true;
+  assert(oo.f);
+  o.f := false;
+  assert(not oo.f);
+end;
+
+begin
+  var a := new t1;
+  p(a);
+end.