bug fix #2507

NETGenerator/NETGenerator.cs

@@ -7343,7 +7343,7 @@ namespace PascalABCCompiler.NETGenerator
             bool tmp_dot = is_dot_expr;
             if (!tmp_dot)
                 is_dot_expr = true;
-            if ((value.method.polymorphic_state == polymorphic_state.ps_virtual || value.method.polymorphic_state == polymorphic_state.ps_virtual_abstract) && (value.obj is ICommonParameterReferenceNode || value.obj is ICommonClassFieldReferenceNode))
+            if ((value.method.polymorphic_state == polymorphic_state.ps_virtual || value.method.polymorphic_state == polymorphic_state.ps_virtual_abstract || value.method.polymorphic_state == polymorphic_state.ps_common) && (value.obj is ICommonParameterReferenceNode || value.obj is ICommonClassFieldReferenceNode))
                 virtual_method_call = true;
             value.obj.visit(this);
             virtual_method_call = false;

TestSuite/generics56.pas

@@ -0,0 +1,20 @@
+var i: integer;
+type
+  t1 = class
+    // Обязательно НЕ виртуальный метод
+    procedure p1(x: integer);
+    begin
+      i := x;
+    end;
+  end;
+  
+procedure p0<T>(a: T);
+where T: t1;
+begin
+  a.p1(1);
+end;
+
+begin
+  p0(new t1);
+  assert(i = 1);
+end.

TestSuite/generics57.pas

@@ -0,0 +1,23 @@
+var i: integer;
+type
+  IInt = interface
+    procedure p1(x: integer);
+  end;
+  
+  t1 = class(IInt)
+    public procedure p1(x: integer);
+    begin
+      i := x;
+    end;
+  end;
+  
+procedure p0<T>(a: T);
+where T: IInt;
+begin
+  a.p1(1);
+end;
+
+begin
+  p0(new t1);
+  assert(i = 1);
+end.