//@ check-pass

use std::cell::RefCell;

pub fn f(v: Vec<RefCell<u8>>) {
    let _t = &mut *v[0].borrow_mut();
}

fn main() {}