(* Test: opaque object types *)

INTERFACE Foo;

TYPE
  T <: ROOT;
  U <: ROOT;

END Foo.