making types totally incompatible

[Thaddy]

How about:

Code: Pascal  [Select][+][-]

1. {$mode objfpc}
2. type
3.   generic TMyGenericRecord<T> = record
4.     value:T;
5.   end;
6. begin
7. end.

Initial tests show assignment is only to specialized T, nothing else.
Will finish it later.