]>
Commit | Line | Data |
---|---|---|
e74abb32 XL |
1 | // compile-flags:--crate-name=test |
2 | // aux-build:coherence_lib.rs | |
3 | // check-pass | |
4 | ||
5 | extern crate coherence_lib as lib; | |
6 | use lib::*; | |
7 | use std::rc::Rc; | |
8 | ||
9 | struct Local; | |
10 | struct Local2<T>(Rc<T>); | |
11 | ||
12 | impl<T> Remote2<Local, Box<T>> for u32 {} | |
13 | impl<'a, T> Remote2<Local, &'a T> for u32 {} | |
14 | impl<T> Remote2<Local2<T>, Box<T>> for u32 {} | |
15 | impl<'a, T> Remote2<Local2<T>, &'a T> for u32 {} | |
16 | ||
17 | fn main() {} |