1 // When we notice something breaks only without validation, we add a test here.
2 //@compile-flags: -Zmiri-disable-validation
6 let cell: RefCell<[i32; 3]> = RefCell::new([1, 2, 3]);
8 let mut cellref: RefMut<'_, [i32; 3]> = cell.borrow_mut();
10 let mut coerced: RefMut<'_, [i32]> = cellref;
14 let comp: &mut [i32] = &mut [4, 2, 5];
15 let cellref: Ref<'_, [i32; 3]> = cell.borrow();
16 assert_eq!(&*cellref, comp);
17 let coerced: Ref<'_, [i32]> = cellref;
18 assert_eq!(&*coerced, comp);