+// check-pass
+
#![feature(negative_impls)]
// aux-build: foreign_trait.rs
trait LocalTrait { }
impl<T: ForeignTrait> LocalTrait for T { }
-impl LocalTrait for String { } //~ ERROR conflicting implementations
+impl LocalTrait for String { }
fn main() { }