Skip to content

Expand synonyms in mkCastTy when necessary

Ryan Scott requested to merge wip/T19742 into master

I'm not yet clear what the performance implications of this patch are. Let's see what CI says.

Fixes #19742 (closed).

Edited by Ryan Scott

Merge request reports