Added test for type compatibility of unconstrained type parameters

git-svn-id: http://svn.freepascal.org/svn/fpc/branches/peterjan@25937 3ad0048d-3df7-0310-abae-a5850022a9f2

1 files changed, 26 insertions, 0 deletions

diff --git a/generics/partialspecialization/tests/test/tgeneric97.pp b/generics/partialspecialization/tests/test/tgeneric97.pp
new file mode 100644
index 0000000000..c390037f42
--- /dev/null
+++ b/generics/partialspecialization/tests/test/tgeneric97.pp
@@ -0,0 +1,26 @@
+{%FAIL}
+program tgeneric97;
+
+{$IFDEF FPC}
+  {$MODE delphi}
+{$ENDIF}
+
+type
+  TTest<TA, TB> = class(TObject)
+  public
+    procedure Test();
+  end;
+
+{ TTest<TA,TB> }
+
+procedure TTest<TA, TB>.Test();
+var
+  A: TA;
+  B: TB;
+begin
+  A := B; // Since the types TA and TB are not known this assignment should fail
+end;
+
+begin
+end.
+