Fix coercion optimisation for SelCo (#23362)
setNominalRole_maybe
is supposed to output a nominal coercion.
In the SelCo
case, it was not updating the stored role to Nominal, causing #23362 (closed).
setNominalRole_maybe
is supposed to output a nominal coercion.
In the SelCo
case, it was not updating the stored role to Nominal, causing #23362 (closed).