repr_transparent_external_private_fields: normalize types during traversal Determining whether a type is a 1-ZST will internally do full normalization, so we better do the same when scanning for non-exhaustive types. r? ``@lcnr``
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.