1 // compile-flags:--crate-name=test
2 // aux-build:coherence_lib.rs
4 extern crate coherence_lib as lib;
10 impl<T> Remote1<T> for Box<T> {
11 //~^ ERROR type parameter `T` must be used as the type parameter for some local type
14 impl<'a, A, B> Remote1<A> for &'a B {
15 //~^ ERROR type parameter `B` must be used as the type parameter for some local type