'privileged scope' coherence checks must extend to trait supertypes

[brson]

trait B: A;

If A is not defined our crate then we must define the type when implementing B.

[brson]

This is no longer true because an impl of B is not an impl of A