2022-08-23 07:33:06 -05:00
|
|
|
infer_opaque_hidden_type =
|
2022-08-21 12:56:00 -05:00
|
|
|
opaque type's hidden type cannot be another opaque type from the same scope
|
2023-02-03 08:24:53 -06:00
|
|
|
.label = one of the two opaque types used here has to be outside its defining scope
|
2022-08-21 12:56:00 -05:00
|
|
|
.opaque_type = opaque type whose hidden type is being assigned
|
|
|
|
|
.hidden_type = opaque type being used as hidden type
|
