Skip to content

Bind floor witnesses to owner-qualified declarations - #9436

Merged
briansrls merged 14 commits into
mainfrom
session/calm-lark-589-fix
Aug 27, 2026
Merged

Bind floor witnesses to owner-qualified declarations#9436
briansrls merged 14 commits into
mainfrom
session/calm-lark-589-fix

Restore the transitive callable ambiguity probe

19b30b4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar