[rustc.git] / src / test / ui / pattern / bindings-after-at / borrowck-pat-by-move-and-ref-inverse-promotion.rs

// Test that `by_move_binding @ pat_with_by_ref_bindings` is prevented even with promotion.
// Currently this logic exists in THIR match checking as opposed to borrowck.

#![feature(bindings_after_at)]

fn main() {
    struct U;
    let a @ ref b = U; //~ ERROR borrow of moved value
}
Commit	Line	Data
74b04a01	1	// Test that `by_move_binding @ pat_with_by_ref_bindings` is prevented even with promotion.
3dfed10e	2	// Currently this logic exists in THIR match checking as opposed to borrowck.
74b04a01 XL	3
74b04a01 XL	4	#![feature(bindings_after_at)]
74b04a01 XL	5
	6	fn main() {
	7	struct U;
	8	let a @ ref b = U; //~ ERROR borrow of moved value
	9	}