Skip to content

Support trait_upcasting#4001

Merged
zhassan-aws merged 2 commits intomodel-checking:mainfrom
clubby789:dyn-upcasting
Apr 23, 2025
Merged

Support trait_upcasting#4001
zhassan-aws merged 2 commits intomodel-checking:mainfrom
clubby789:dyn-upcasting

Commits

Commits on Apr 22, 2025