Skip to content

E0308 sub-wall 2: trait-derive completeness predicate (Clone/arith/serde) for repr grounding - #7224

Merged
briansrls merged 61 commits into
mainfrom
session/silent-badger-23-root4
Jul 25, 2026
Merged

E0308 sub-wall 2: trait-derive completeness predicate (Clone/arith/serde) for repr grounding#7224
briansrls merged 61 commits into
mainfrom
session/silent-badger-23-root4

regen(stage0): Bool supplemental gate + PartialEq<i64> dissolve note

2de5a69
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar