Normalization can pull in named regions from the parameter environment. We need to be prepared for that in the opaque types code.
Normalization can pull in named regions from the parameter environment. We need to be prepared for that in the opaque types code.