var i: integer;
type
t1 = class
procedure Deconstruct;
begin
i := 1;
end;
var o := new t1;
if o is t1(var a) then
i := 2;
assert(o = a);
assert(i = 2);
end.