Dyn method dispatch#839

Merged

Nadrieril merged 3 commits intoAeneasVerif:mainfrom

ssyram:dyn-method-dispatch

Oct 8, 2025

Commits on Oct 8, 2025

dyn method dispatch

ssyram
authored and
Nadrieril
committed
Fix normalization of `dyn Trait` associated types
Nadrieril
committed
Simplify
Nadrieril
committed