2012-07-31 12:27:51 -05:00
|
|
|
trait get_ctxt {
|
2012-07-12 11:36:56 -05:00
|
|
|
fn get_ctxt() -> &self/uint;
|
2012-04-24 17:52:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn make_gc1(gc: get_ctxt/&a) -> get_ctxt/&b {
|
2012-08-14 20:17:18 -05:00
|
|
|
return gc; //~ ERROR mismatched types: expected `@get_ctxt/&b` but found `@get_ctxt/&a`
|
2012-04-24 17:52:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn make_gc2(gc: get_ctxt/&a) -> get_ctxt/&b {
|
2012-08-14 20:17:18 -05:00
|
|
|
return gc as get_ctxt; //~ ERROR mismatched types: expected `@get_ctxt/&b` but found `@get_ctxt/&a`
|
2012-04-24 17:52:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
fn main() {
|
|
|
|
}
|