Well, I don't know why, but the type in question didn't feature any existentials. Method symbols of the structural type has their resultType set to `TypeRef(NoPrefix, $anon, Nil)`.