Unit to demonstrate that free pascal does not complain when generic types promise to implement an interface but then do not.

generifaces.pas

{$mode objfpc}
unit generifaces;
{ Unit to demonstrate that free pascal does not complain
  when generic types promise to implement an interface but
  then do not. }
interface
  
  type
    IFoo = interface
      function foo : byte;
    end;
    
    generic GBar<t> = class( TInterfacedObject, IFoo )
      // does not implement foo, but compiler doesn't care.
    end;

    TBar = class( TInterfacedObject, IFoo )
      // does not implement foo, and compiler complains
    end;

implementation
end.