Verify contracts/stubs for generic types with multiple inherent implementations#3829

Merged

carolynzech merged 3 commits intomodel-checking:mainfrom carolynzech:issue-3773

Jan 14, 2025

+277-19

Commits on Jan 10, 2025

issue 3773: error for multiple implementations
carolynzech
committed

Commits on Jan 13, 2025

Verify contracts on methods where the base type has multiple inherent impls
carolynzech
committed

Commits on Jan 14, 2025

fix expected file name
carolynzech
committed