nested-types.cfa:100:25: warning: Compiled
nested-types.cfa:86:1 error: Use of undefined global type Z.
nested-types.cfa:87:1 error: Qualified type requires an aggregate on the left, but has signed int.
nested-types.cfa:88:1 error: Undefined type in qualified type Qualified Type:
  instance of struct S with body
  instance of type Z (not function type)