rust/src/test/compile-fail/use-after-move-self.rs

struct S {
    x: ~int
}

pub impl S {
    fn foo(self) -> int {
        self.bar();
        return *self.x;  //~ ERROR use of moved value: `self`
    }

    fn bar(self) {}
}

fn main() {
    let x = S { x: ~1 };
    io::println(x.foo().to_str());
}
librustc: Allow moves out of `self`. r=nmatsakis 2012-12-10 13:58:37 -06:00			`struct S {`
Finalize moves-based-on-type implementation. Changes: - Refactor move mode computation - Removes move mode arguments, unary move, capture clauses (though they still parse for backwards compatibility) - Simplify how moves are handled in trans - Fix a number of illegal copies that cropped up - Workaround for bug involving def-ids in params (see details below) Future work (I'll open bugs for these...): - Improve error messages for moves that are due to bindings - Add support for moving owned content like a.b.c to borrow check, test in trans (but I think it'll "just work") - Proper fix for def-ids in params Def ids in params: Move captures into a map instead of recomputing. This is a workaround for a larger bug having to do with the def-ids associated with ty_params, which are not always properly preserved when inlining. I am not sure of my preferred fix for the larger bug yet. This current fix removes the only code in trans that I know of which relies on ty_param def-ids, but feels fragile. 2013-01-10 12:59:58 -06:00			`x: ~int`
librustc: Allow moves out of `self`. r=nmatsakis 2012-12-10 13:58:37 -06:00			`}`

librustc: Mark all type implementations public. rs=impl-publicity 2013-02-26 19:47:41 -06:00			`pub impl S {`
librustc: Allow moves out of `self`. r=nmatsakis 2012-12-10 13:58:37 -06:00			`fn foo(self) -> int {`
Finalize moves-based-on-type implementation. Changes: - Refactor move mode computation - Removes move mode arguments, unary move, capture clauses (though they still parse for backwards compatibility) - Simplify how moves are handled in trans - Fix a number of illegal copies that cropped up - Workaround for bug involving def-ids in params (see details below) Future work (I'll open bugs for these...): - Improve error messages for moves that are due to bindings - Add support for moving owned content like a.b.c to borrow check, test in trans (but I think it'll "just work") - Proper fix for def-ids in params Def ids in params: Move captures into a map instead of recomputing. This is a workaround for a larger bug having to do with the def-ids associated with ty_params, which are not always properly preserved when inlining. I am not sure of my preferred fix for the larger bug yet. This current fix removes the only code in trans that I know of which relies on ty_param def-ids, but feels fragile. 2013-01-10 12:59:58 -06:00			`self.bar();`
Move checking for moves and initialization of local variables and patterns into borrow checker and generalize what moves are allowed. Fixes a nasty bug or two in the pattern move checking code. Unifies dataflow code used for initialization and other things. First step towards once fns. Everybody wins. Fixes #4384. Fixes #4715. cc once fns (#2202), optimizing local moves (#5016). 2013-05-22 05:54:35 -05:00			return *self.x; //~ ERROR use of moved value: `self`
librustc: Allow moves out of `self`. r=nmatsakis 2012-12-10 13:58:37 -06:00			`}`

			`fn bar(self) {}`
			`}`

			`fn main() {`
Finalize moves-based-on-type implementation. Changes: - Refactor move mode computation - Removes move mode arguments, unary move, capture clauses (though they still parse for backwards compatibility) - Simplify how moves are handled in trans - Fix a number of illegal copies that cropped up - Workaround for bug involving def-ids in params (see details below) Future work (I'll open bugs for these...): - Improve error messages for moves that are due to bindings - Add support for moving owned content like a.b.c to borrow check, test in trans (but I think it'll "just work") - Proper fix for def-ids in params Def ids in params: Move captures into a map instead of recomputing. This is a workaround for a larger bug having to do with the def-ids associated with ty_params, which are not always properly preserved when inlining. I am not sure of my preferred fix for the larger bug yet. This current fix removes the only code in trans that I know of which relies on ty_param def-ids, but feels fragile. 2013-01-10 12:59:58 -06:00			`let x = S { x: ~1 };`
librustc: Allow moves out of `self`. r=nmatsakis 2012-12-10 13:58:37 -06:00			`io::println(x.foo().to_str());`
			`}`