Opt-in to overlapping impls and explicit impl selection

language design
4

I created a trait mask topic a couple days ago which overlaps with this concept.

Do you have a specific plan for how someone would designate and invoke an alternative implementation without a wrapper class?