Skip to content

Draft: Fix a scoping bug in renaming TH quotes (#24795)

Sebastian Graf requested to merge wip/T24795 into master

Splices inside quotes should be renamed in the same environment as the quote, not the splice site. See T24795 for two examples with the same expected semantics.

Fixes #24795.

We might want this cure for other PendingUntyped things as well, haven't checked yet.

Merge request reports