+++ /dev/null
-// compile-flags:--crate-name=test
-// aux-build:coherence_lib.rs
-
-extern crate coherence_lib as lib;
-use lib::*;
-use std::rc::Rc;
-
-struct Local;
-
-impl<T> Remote1<Local> for T {
- //~^ ERROR type parameter `T` must be covered by another type
-}
-
-fn main() {}