fix(frontend): Error for when impl is stricter than trait#5343

Merged

vezenovm merged 36 commits intomasterfrom

mv/regression-5210

Jul 18, 2024

Commits on Jun 28, 2024

Merge branch 'master' into mv/regression-5210
vezenovm
authored

Commits on Jul 8, 2024

conflcits w/ master
vezenovm
committed

Commits on Jul 9, 2024

Commits on Jul 10, 2024

initial work to determine if impl is stricter than trait for different generics
vezenovm
committed

Commits on Jul 11, 2024

new strategy using substitute of new type bindings, only works for named generics need to generalize it for all types
vezenovm
committed

Commits on Jul 16, 2024