error[E04018]: cyclic data
  ┌─ tests/move_check/typing/recursive_structs.move:4:21
  │
4 │     struct Foo { f: Foo }
  │                     ^^^
  │                     │
  │                     Invalid field containing 'Foo' in struct 'Foo'.
  │                     Using this struct creates a cycle: 'Foo' contains 'Foo'

error[E04018]: cyclic data
  ┌─ tests/move_check/typing/recursive_structs.move:7:25
  │
7 │     struct Bar { f: Cup<Bar> }
  │                         ^^^
  │                         │
  │                         Invalid field containing 'Bar' in struct 'Bar'.
  │                         Using this struct creates a cycle: 'Bar' contains 'Bar'

error[E04018]: cyclic data
  ┌─ tests/move_check/typing/recursive_structs.move:9:26
  │
9 │     struct X { y: vector<Y> }
  │                          ^
  │                          │
  │                          Invalid field containing 'Y' in struct 'X'.
  │                          Using this struct creates a cycle: 'Y' contains 'X' contains 'Y'

error[E04018]: cyclic data
   ┌─ tests/move_check/typing/recursive_structs.move:17:29
   │
17 │     struct Foo { f: M0::Cup<Foo> }
   │                             ^^^
   │                             │
   │                             Invalid field containing 'Foo' in struct 'Foo'.
   │                             Using this struct creates a cycle: 'Foo' contains 'Foo'

error[E04018]: cyclic data
   ┌─ tests/move_check/typing/recursive_structs.move:21:26
   │
21 │     struct C { d: vector<D> }
   │                          ^
   │                          │
   │                          Invalid field containing 'D' in struct 'C'.
   │                          Using this struct creates a cycle: 'D' contains 'A' contains 'B' contains 'C' contains 'D'