Skip to content

Root T5a: derive the trait roster from how a type is used, not from its shape alone - #8353

Merged
briansrls merged 8 commits into
mainfrom
session/quick-hawk-143
Aug 17, 2026
Merged

briansrls merged 8 commits into
mainfrom
session/quick-hawk-143

Merge remote-tracking branch 'origin/main' into session/quick-hawk-143

9af0c28
Select commit
Loading
Failed to load commit list.