17 lines
214 B
ObjectPascal
17 lines
214 B
ObjectPascal
type
|
|
t1 = class end;
|
|
|
|
procedure p1<T>; where T: class;
|
|
begin
|
|
var a := new t1;
|
|
var b := a as T;
|
|
Assert(b <> nil);
|
|
|
|
var a1: T;
|
|
var b1 := a as t1;
|
|
Assert(b1 <> nil);
|
|
end;
|
|
|
|
begin
|
|
p1&<t1>();
|
|
end. |