blob: 070e0f451a57be4dfd43af241f43c0560ca2117d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
//@ check-pass
#![allow(dead_code)]
trait Trait {
fn method(self) -> isize;
}
struct Wrapper<T> {
field: T
}
impl<'a, T> Trait for &'a Wrapper<T> where &'a T: Trait {
fn method(self) -> isize {
let r: &'a T = &self.field;
Trait::method(r); // these should both work
r.method()
}
}
fn main() {}
|