2 // Check that taking the address of a place that contains a dereference is
4 #![feature(raw_ref_op, type_ascription)]
6 const PAIR_REF: &(i32, i64) = &(1, 2);
8 const ARRAY_REF: &[i32; 2] = &[3, 4];
9 const SLICE_REF: &[i32] = &[5, 6];
12 // These are all OK, we're not taking the address of the temporary
13 let deref_ref = &raw const *PAIR_REF;
14 let field_deref_ref = &raw const PAIR_REF.0;
15 let deref_ref = &raw const *ARRAY_REF;
16 let index_deref_ref = &raw const ARRAY_REF[0];
17 let deref_ref = &raw const *SLICE_REF;
18 let index_deref_ref = &raw const SLICE_REF[1];
21 let ascribe_ref = &raw const (x: i32);
22 let ascribe_deref = &raw const (*ARRAY_REF: [i32; 2]);
23 let ascribe_index_deref = &raw const (ARRAY_REF[0]: i32);