+++ /dev/null
-#![feature(re_rebalance_coherence)]
-
-// 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> Remote for (Local, T) {
- //~^ ERROR only traits defined in the current crate
- // | can be implemented for arbitrary types [E0117]
-}
-
-fn main() {}
+++ /dev/null
-error[E0117]: only traits defined in the current crate can be implemented for arbitrary types
- --> $DIR/impl[t]-foreign-for-(local, t).rs:12:1
- |
-LL | impl<T> Remote for (Local, T) {
- | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ impl doesn't use types inside crate
- |
- = note: the impl does not reference only types defined in this crate
- = note: define and implement a trait or new type instead
-
-error: aborting due to previous error
-
-For more information about this error, try `rustc --explain E0117`.