Support stubbing trait method implementations#4587

Merged

feliperodri merged 3 commits intomodel-checking:mainfrom

feliperodri:stub-trait-methods

Apr 24, 2026

Commits on Apr 22, 2026

Resolve generic trait method implementations for stubs (#1997)
feliperodri
committed
Document trait method stubbing, add default method fixme test
feliperodri
committed

Commits on Apr 24, 2026

test(stubbing): Add trait stubbing tests for dyn dispatch, supertraits, and overridden defaults
feliperodri
committed