mirror of https://github.com/rust-lang/rust
29 lines
374 B
Rust
29 lines
374 B
Rust
//@ run-pass
|
|
|
|
trait Get {
|
|
type Value;
|
|
fn get(&self) -> &<Self as Get>::Value;
|
|
}
|
|
|
|
struct Struct {
|
|
x: isize,
|
|
}
|
|
|
|
impl Get for Struct {
|
|
type Value = isize;
|
|
fn get(&self) -> &isize {
|
|
&self.x
|
|
}
|
|
}
|
|
|
|
fn grab<T:Get>(x: &T) -> &<T as Get>::Value {
|
|
x.get()
|
|
}
|
|
|
|
fn main() {
|
|
let s = Struct {
|
|
x: 100,
|
|
};
|
|
assert_eq!(*grab(&s), 100);
|
|
}
|