diff options
Diffstat (limited to 'tests/ui/raw-ref-op/raw-ref-temp.rs')
-rw-r--r-- | tests/ui/raw-ref-op/raw-ref-temp.rs | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/ui/raw-ref-op/raw-ref-temp.rs b/tests/ui/raw-ref-op/raw-ref-temp.rs new file mode 100644 index 000000000..10e47cb34 --- /dev/null +++ b/tests/ui/raw-ref-op/raw-ref-temp.rs @@ -0,0 +1,31 @@ +// Ensure that we don't allow taking the address of temporary values +#![feature(raw_ref_op, type_ascription)] + +const FOUR: u64 = 4; + +const PAIR: (i32, i64) = (1, 2); + +const ARRAY: [i32; 2] = [1, 2]; + +fn main() { + let ref_expr = &raw const 2; //~ ERROR cannot take address + let mut_ref_expr = &raw mut 3; //~ ERROR cannot take address + let ref_const = &raw const FOUR; //~ ERROR cannot take address + let mut_ref_const = &raw mut FOUR; //~ ERROR cannot take address + + let field_ref_expr = &raw const (1, 2).0; //~ ERROR cannot take address + let mut_field_ref_expr = &raw mut (1, 2).0; //~ ERROR cannot take address + let field_ref = &raw const PAIR.0; //~ ERROR cannot take address + let mut_field_ref = &raw mut PAIR.0; //~ ERROR cannot take address + + let index_ref_expr = &raw const [1, 2][0]; //~ ERROR cannot take address + let mut_index_ref_expr = &raw mut [1, 2][0]; //~ ERROR cannot take address + let index_ref = &raw const ARRAY[0]; //~ ERROR cannot take address + let mut_index_ref = &raw mut ARRAY[1]; //~ ERROR cannot take address + + let ref_ascribe = &raw const type_ascribe!(2, i32); //~ ERROR cannot take address + let mut_ref_ascribe = &raw mut type_ascribe!(3, i32); //~ ERROR cannot take address + + let ascribe_field_ref = &raw const type_ascribe!(PAIR.0, i32); //~ ERROR cannot take address + let ascribe_index_ref = &raw mut type_ascribe!(ARRAY[0], i32); //~ ERROR cannot take address +} |