src/test/ui/coherence/impl[t]-foreign[local]-for-fundamental[t].stderr

   1 error[E0210]: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
   2   --> $DIR/impl[t]-foreign[local]-for-fundamental[t].rs:10:6
   3    |
   4 LL | impl<T> Remote1<Local> for Box<T> {
   5    |      ^ type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
   6    |
   7    = note: implementing a foreign trait is only possible if at least one of the types for which is it implemented is local, and no uncovered type parameters appear before that first local type
   8    = note: in this case, 'before' refers to the following order: `impl<..> ForeignTrait<T1, ..., Tn> for T0`, where `T0` is the first and `Tn` is the last
   9
  10 error[E0210]: type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
  11   --> $DIR/impl[t]-foreign[local]-for-fundamental[t].rs:14:6
  12    |
  13 LL | impl<T> Remote1<Local> for &T {
  14    |      ^ type parameter `T` must be covered by another type when it appears before the first local type (`Local`)
  15    |
  16    = note: implementing a foreign trait is only possible if at least one of the types for which is it implemented is local, and no uncovered type parameters appear before that first local type
  17    = note: in this case, 'before' refers to the following order: `impl<..> ForeignTrait<T1, ..., Tn> for T0`, where `T0` is the first and `Tn` is the last
  18
  19 error: aborting due to 2 previous errors
  20
  21 For more information about this error, try `rustc --explain E0210`.