Named impl with Implementation Selection Variant

language design
8

Advantages Over Other Drafts

  1. By forbidding named implementations for specific traits, the hashtable problem is cleanly bypassed.
  2. Allow overlapping of named trait implementations, resolving the implementation during monomorphization, thus enabling specialization and partial specialization.
  3. The approach is more ergonomic, more explicit, and more complete.