First-class obligations, derive providers, and trait-resolution unification - #1506

Closed

micahscopes wants to merge 36 commits into

argotorg:masterfrom

micahscopes:fco-sgk

Commits on Jun 28, 2026

feat(fco): concrete `where Eq<T>` constraint applications
micahscopes
committed
3238e85
test(fco): end-to-end exec fixture for `where Eq<T>`
micahscopes
committed
2466b1a
feat(fco): first-class obligations, derive providers, and provision burn-down
micahscopes
committed
ce704bf
fix(fco): tree-sitter grammar + formatter for cascade as/with, where Eq<T>, kind Constraint
micahscopes
committed
9992857
test(fco): drop dead CallConstraintBoundOwner; architect Q2/Q4/Q5 rulings already pinned
micahscopes
committed
15689c7
docs(fco): provider_synthesis comment reflects ratified PS-MR framing-2 + SGK deferral
micahscopes
committed
4a7e6ee
style(fco): cargo fmt --all (satisfy CI rustfmt gate)
micahscopes
committed
cdfff4f
build(fe-web): regenerate vendored tree-sitter wasm for the new grammar
micahscopes
committed
9e04234
chore(clippy): satisfy the clippy gate across the workspace
micahscopes
committed
ea3bd66
test(fco-sgk): keystone identity tripwire for generated derive impls
micahscopes
committed
ca7be25
feat(fco-sgk): route derive generation through expand_provider_impl query
micahscopes
committed
461fdc3
style: collapse NExpr::Call pattern to satisfy rustfmt
micahscopes
committed
15fdb3f
fix(hir): well-form a trait's own self/assoc-type projections in headers
micahscopes
committed
5bd8fbc
fix(hir): resolve const-generic blanket impl when selecting an assoc const
micahscopes
committed
282e8f4
test(hir): expect the current code (6-0022) for method const-predicate mismatch
micahscopes
committed
9c762a5
test(hir): lock generated method/body identity (SGK Phase A: x-3d unnecessary)
micahscopes
committed
6eabcc2
feat(parser): parse `quote { fn .. }` method-body grammar (SGK-B S1)
micahscopes
committed
7f5dff0
chore(hir): satisfy rustfmt + clippy on earlier SGK commits
micahscopes
committed
f5d404f
feat(hir): QuoteBody::Method quoted-method IR + hole capture (SGK-B S2)
micahscopes
committed
a319548
feat(hir): elaborate quoted-method artifact + 1-arg emit_method (SGK-B S3)
micahscopes
committed
70e4eab
feat(core_derives): emit StableEq.eq via the quoted-method artifact (SGK-B S4)
micahscopes
committed
8989607
refactor(hir): extract compare_nats shared comparison primitive (SGK-B island 1/3)
micahscopes
committed
1eca3a9
feat(hir): pure-steering integer-comparison island via shared CTFE (SGK-B island 2/3 + 3/3)
micahscopes
committed
502c4b2
test(hir): regenerate error/msg desugar snapshots for AbiSize providerization
micahscopes
committed
4feb444
test(hir): regenerate contract/recv ty_check snapshots for msg/AbiSize providerization
micahscopes
committed
6d6bd99
codegen: regenerate sonatina IR + name-res snapshots for effect-domain threading
micahscopes
committed
68e868a

Commits on Jul 1, 2026

refactor(parser): drop the boundless `where Eq<T>` constraint-application surface
micahscopes
committed
25dc157

Commits on Jul 3, 2026