type
  t<{@@}T1> = class
    f: {!}T1;  
  end;

begin end.