Add FooBase trait so cold types can implement devirt traits without #[devirt] - #40

Merged

Kab1r merged 7 commits into

mainfrom

claude/check-proc-macro-cold-types-M8mER

Jul 14, 2026

Commits on May 23, 2026

Add FooBase trait so cold types can implement devirt traits without #[devirt]
claude
committed
a4cfef5
Fix pointer provenance in dispatch chains for Miri compatibility
claude
committed
dcb285a
Fix base trait bridge: handle wildcards, default bodies, and generics
claude
committed
16205cb
Document cold type implementation via FooBase trait
claude
committed
e34a5e1
Show both cold-type approaches side by side in README
claude
committed
13ec160

Commits on May 24, 2026

Thread $base_name through @blanket_bridge instead of hardcoding
claude
committed
ad216cd
Preserve #[cfg] attributes on base bridge methods
claude
committed
4480322