ref: b4c40054b5b378a7b1ab7b8090c586d0a86898c1 dir: /test/tyoccur.myr/
/* checks that types do not contain themselves inline, because that would lead to an infinite sized type. */ type t = struct memb : t ;; var v : t