If we don't care about coherence here, than I am wondering if allowing the following would be a good idea?
impl your_crate::Trait for their_crate::Type
with
my_context: crate::MyContext
This is effectively Idea: Named sets of impls
2 Likes