rust/src/test/run-pass/regions-iface.rs
Niko Matsakis b9aa9def85 infer when types are region parameterized rather than requiring /&
- removes various fields from various variants in the AST
- also update tests not to use this notation
2012-07-11 14:41:41 -07:00

24 lines
365 B
Rust

type ctxt = { v: uint };
iface get_ctxt {
fn get_ctxt() -> &self.ctxt;
}
type has_ctxt = { c: &ctxt };
impl of get_ctxt for has_ctxt {
fn get_ctxt() -> &self.ctxt {
self.c
}
}
fn get_v(gc: get_ctxt) -> uint {
gc.get_ctxt().v
}
fn main() {
let ctxt = { v: 22u };
let hc = { c: &ctxt };
assert get_v(hc as get_ctxt) == 22u;
}