Harden `#[use_type]` grounding, lift nested delegation tables, and close test gaps - #264

Merged

soareschen merged 10 commits into

mainfrom

ai-updates-20260725-2

Sep 15, 2026

Commits on Jul 25, 2026

Trim each documentation file to what it owns

soareschen
and
claude
committed
7086e13

Commits on Jul 28, 2026

Ground `#[use_type]` aliases in nested pins and expression paths

soareschen
and
claude
committed
b232adc
Recurse after rewriting an expression-path alias

soareschen
and
claude
committed
81efe18

Commits on Jul 29, 2026

Harden `#[use_type]`: reject grounding cycles, ground trait arguments, merge pins

soareschen
and
claude
committed
5606c50
Ground `#[use_type]` imports in dependency order, not by fixpoint

soareschen
and
claude
committed
9c51243

Commits on Aug 2, 2026

Lift nested tables out of namespaces and `for` bodies

soareschen
and
claude
committed
e59ad03
Pin five getter, implicit, and provider-attribute behaviours

soareschen
and
claude
committed
2561b47
Pin the derive slices, and record a reserved-name expansion defect

soareschen
and
claude
committed
edee230
Test the product operations, and DefaultImpls2's reachability

soareschen
and
claude
committed
c4c9095
Export cgp-base as `cgp::base`
soareschen
committed
1d43cc9