Skip to content

Introduce a "scope" mechanism to judgments and use for binder instantiation - #463

Merged
nikomatsakis merged 2 commits into
mainfrom
judgment-scope
Oct 16, 2026
Merged

Introduce a "scope" mechanism to judgments and use for binder instantiation#463
nikomatsakis merged 2 commits into
mainfrom
judgment-scope

Document judgment scopes in the mdbook

956b762
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Run zizmor
succeeded Oct 16, 2026 in 17s