tests/ui/coherence/coherence-pair-covered-uncovered-1.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// Test that the same coverage rules apply even if the local type appears in the
// list of type parameters, not the self type.

// aux-build:coherence_lib.rs


extern crate coherence_lib as lib;
use lib::{Remote1, Pair};

pub struct Local<T>(T);

impl<T, U> Remote1<Pair<T, Local<U>>> for i32 { }
//~^ ERROR E0117

fn main() { }