Named impls and impl generics

[pitaj]

Similar

[Pre-RFC] Scoped `impl Trait for Type`

Feature Name: scoped_impl_trait_for_type […] Summary This proposal adds scoped impl Trait for Type items into the core language, as coherent but orphan-rule-free alternative to implementing traits globally. It also extends the syntax of use-declarations to allow importing these scoped implementations into other item scopes (including other crates), and differentiates type identity of most generics by which scoped trait implementations are available to each discretised generic type parameter (…