(* Test: declaration of an opaque REF *)

INTERFACE Test;

TYPE
  T <: REFANY;

END Test.