summaryrefslogtreecommitdiffstats
path: root/tests/ui/coherence/coherence-pair-covered-uncovered-1.rs
blob: 15868ca868610a4422da6739d5e77997daa63f2a (plain)
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() { }