type can recursively refer to itself --> tests/ui/parse-fail/cycle5.wit:2:6 | 2 | type foo = bar | ^--