| infer_opaque_hidden_type = | |
| opaque type's hidden type cannot be another opaque type from the same scope | |
| .label = one of the two opaque types used here has to be outside its defining scope | |
| .opaque_type = opaque type whose hidden type is being assigned | |
| .hidden_type = opaque type being used as hidden type |