1 2 3 4 5
type can recursively refer to itself --> tests/ui/parse-fail/cycle.wit:4:8 | 4 | type foo = foo | ^--