src/test/ui/coherence/coherence-pair-covered-uncovered-1.rs

   1 // Test that the same coverage rules apply even if the local type appears in the
   2 // list of type parameters, not the self type.
   3
   4 // aux-build:coherence_lib.rs
   5
   6
   7 extern crate coherence_lib as lib;
   8 use lib::{Remote1, Pair};
   9
  10 pub struct Local<T>(T);
  11
  12 impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { }
  13 //~^ ERROR E0117
  14
  15 fn main() { }