freepascal.compiler/tests/test/tclass6.pp

{ %fail }
{ %opt=-CR }
{ %version=1.1 }

{$mode objfpc}
program test_class;


type
  tobj1 = class
    constructor create;
    procedure mymethod; virtual;
  end;
  
  
  tobj2 = class
    constructor create;
    procedure mymethod; virtual;
  end;
  
  
  constructor tobj2.create;
   begin
   end;
   
  procedure tobj2.mymethod;
   begin
   end;
   
   
  constructor tobj1.create;
   begin
   end;
   
  procedure tobj1.mymethod;
   begin
   end;
  
  
var
 _cla1 : tobj1;
 _cla2 : tobj2;
Begin
  _cla1:=tobj1.create;
  _cla2:=tobj2.create;
  { Detect wrong typecast at compile time }
  tobj1(_cla2).mymethod;
end.