// run-pass
#![allow(unused_assignments)]
// pretty-expanded FIXME #23616

pub fn main() {
    let s: String = "foobar".to_string();
    let mut t: &str = &s;
    t = &t[0..3]; // for master: str::view(t, 0, 3) maybe
}