type
  t1 = class
    class constructor := Assert(True);
  end;

begin 
  var t := new t1;
end.