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