* handle usage of generics type as class type correctly, resolves #16065

git-svn-id: http://svn.freepascal.org/svn/fpc/trunk@15157 3ad0048d-3df7-0310-abae-a5850022a9f2

2 files changed, 37 insertions, 1 deletions

diff --git a/compiler/nmem.pas b/compiler/nmem.pas
index 8d45282e96..70ab0c0f00 100644
--- a/compiler/nmem.pas
+++ b/compiler/nmem.pas
@@ -159,7 +159,17 @@ implementation
           classrefdef :
             resultdef:=left.resultdef;
           objectdef :
-            resultdef:=tclassrefdef.create(left.resultdef);
+            { access to the classtype while specializing? }
+            if (df_generic in left.resultdef.defoptions) and
+              assigned(current_objectdef.genericdef) then
+              begin
+                if current_objectdef.genericdef=left.resultdef then
+                  resultdef:=tclassrefdef.create(current_objectdef)
+                else
+                  message(parser_e_cant_create_generics_of_this_type);
+              end
+            else
+              resultdef:=tclassrefdef.create(left.resultdef);
           else
             Message(parser_e_pointer_to_class_expected);
         end;
diff --git a/tests/webtbs/tw16065.pp b/tests/webtbs/tw16065.pp
new file mode 100644
index 0000000000..38f1f7e6c8
--- /dev/null
+++ b/tests/webtbs/tw16065.pp
@@ -0,0 +1,26 @@
+{$mode objfpc}
+
+type
+  generic TGen<_T> = class
+  public
+    function Check(ASource: TObject): Boolean;
+  end;
+
+  TSpec = specialize TGen<Integer>;
+
+function TGen.Check(ASource: TObject): Boolean;
+begin
+  Result := (ASource is TGen)   // this line breaks the compiler...
+  and (ASource is ClassType);   // ...it should be equivelent to this line
+end;
+
+var
+  f:  TSpec;
+  o: TObject;
+begin
+  f := TSpec.Create;
+  o := TObject.Create;
+  if not(f.Check(f)) or f.Check(o) then
+    halt(1);
+  writeln('ok');
+end.