I have a question regarding the visibility of some more specific
impl blocks (just
Suppose library A defines type
Foo<T>. Then there’s library B that defines type
Bar and also an
impl Foo<Bar> block that contains some
Bar-specific member functions.
What are the visibility rules of these member functions? Does user code need to
Bar type in order to have them in scope?