Skip to content

Census path is not laxer than compile: the probe keyed the wrong class; fix the qualified-Nat spellings that made the census stricter - #12395

Merged
gunbai-bot[bot] merged 11 commits into
mainfrom
session/still-hawk-901
Sep 28, 2026
Merged

Census path is not laxer than compile: the probe keyed the wrong class; fix the qualified-Nat spellings that made the census stricter#12395
gunbai-bot[bot] merged 11 commits into
mainfrom
session/still-hawk-901

v2.lens.synthesis: keep the AdvisoryLens import it uses beside the di…

cfdc7f2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar