ref: 3dc71f6baaf6ff6a7e5a41fd89ea3ec2c7bdf88c 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