src/test/compile-fail/regions-trait-3.rs

trait get_ctxt {
    fn get_ctxt() -> &self/uint;
}

fn make_gc1(gc: get_ctxt/&a) -> get_ctxt/&b  {
    return gc; //~ ERROR mismatched types: expected `@get_ctxt/&b` but found `@get_ctxt/&a`
}

fn make_gc2(gc: get_ctxt/&a) -> get_ctxt/&b  {
    return gc as get_ctxt; //~ ERROR cannot infer an appropriate lifetime
}

fn main() {
}