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