Fix three constructor-discovery ICEs from the crates.io sweep - #4725

Fix three constructor-discovery ICEs from the crates.io sweep#4725

tautschnig wants to merge 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

tautschnig:ctor-pr-fixestautschnig/kani:ctor-pr-fixesCopy head branch name to clipboard