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.
4 // aux-build:coherence_lib.rs
7 extern crate coherence_lib as lib;
8 use lib::{Remote1, Pair};
10 pub struct Local<T>(T);
12 impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { }