Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix TermRef prefixes not having their type healed (#20102)
Fixes #19767 In the minimization from the issue, after the splicing phase we ended up with a quote with illegal `k1` types, which should have been healed during the splicing phase: ```scala '<k1$given2>{ new ICons[(ICons[k1]#key : k1)]( //... ``` To fix that, we now map over and heal the prefix of the TermRef as well, so we end up with: ```scala '<k1$given2>{ new ICons[(ICons[k1$given2]#key : k1$given2)]( //... ```
- Loading branch information