Resolve multi-candidate methods on impls defined outside the type's module - #4778

Resolve multi-candidate methods on impls defined outside the type's module#4778

kasimte wants to merge 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

kasimte:fix-impl-path-resolutionkasimte/kani:fix-impl-path-resolutionCopy head branch name to clipboard