// parse-fail type foo = bar record bar { x: foo }