nested-types.cfa:73:1 error: Use of undefined global type Z
nested-types.cfa:74:1 error: Qualified type requires an aggregate on the left, but has: signed int
nested-types.cfa:75:1 error: Undefined type in qualified type: Qualified Type:
  instance of struct S with body 1
  instance of type Z (not function type)