13 lines
155 B
ObjectPascal
13 lines
155 B
ObjectPascal
|
type
|
|||
|
|
t0=record end;
|
|||
|
|
|
|||
|
|
t1<T1>=class
|
|||
|
|
where T1: record;
|
|||
|
|
a: T1;
|
|||
|
|
end;
|
|||
|
|
|
|||
|
|
t2<T>=class(t1<T>) where T: t0; end;
|
|||
|
|
|
|||
|
|
begin
|
|||
|
|
var a := new t2<t0>;
|
|||
|
|
end.
|