Bounded Trait Casting#3952

Open

DiamondLovesYou wants to merge 6 commits intorust-lang:masterfrom

DiamondLovesYou:master

Commits on Jan 12, 2026

Initial draft.
DiamondLovesYou
committed

Commits on Jan 25, 2026

Lifetime treatment is sound and complete.
DiamondLovesYou
committed

Commits on Apr 19, 2026

Post-implementation revisions.
DiamondLovesYou
committed

Commits on Apr 20, 2026

Post-diagnostic-implementation revisions.
DiamondLovesYou
committed

Commits on Apr 23, 2026