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