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