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) 

