(* Test: opaque object types *)

INTERFACE Test;

TYPE
  T <: ROOT;
  U <: ROOT;

END Test.