Skip to content

SetLevels: Track binding provenance

Ben Gamari requested to merge wip/strict-level into master

Name binders introduced by SetLevels according to the context from which they originated.

Addresses #25802.

Edited by Ben Gamari

Merge request reports