// option. This file may not be copied, modified, or distributed
// except according to those terms.
-// Regression test for #3512 - conflicting trait impls in different crates should give a
-// 'conflicting implementations' error message.
+// The error here is strictly due to orphan rules; the impl here
+// generalizes the one upstream
// aux-build:trait_impl_conflict.rs
extern crate trait_impl_conflict;
impl<A> Foo for A {
//~^ ERROR type parameter `A` must be used as the type parameter for some local type
- //~^^ ERROR E0119
}
fn main() {