Skip to content

Fix coercion optimisation for SelCo (#23362)

Krzysztof Gogolewski requested to merge wip/T23362 into master

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).

Merge request reports