]>
Commit | Line | Data |
---|---|---|
e74abb32 XL |
1 | // compile-flags:--crate-name=test |
2 | // aux-build:coherence_lib.rs | |
3 | ||
4 | extern crate coherence_lib as lib; | |
5 | use lib::*; | |
6 | use std::rc::Rc; | |
7 | ||
8 | struct Local; | |
9 | ||
10 | impl<T> Remote2<Box<T>, Local> for u32 { | |
60c5eb7d | 11 | //~^ ERROR type parameter `T` must be covered by another type |
e74abb32 XL |
12 | } |
13 | ||
14 | impl<'a, T> Remote2<&'a T, Local> for u32 { | |
60c5eb7d | 15 | //~^ ERROR type parameter `T` must be covered by another type |
e74abb32 XL |
16 | } |
17 | ||
18 | fn main() {} |