fn foo() {
  let s = "abc";
  let u: &str = if true { s[..2] } else { s };
  //~^ ERROR mismatched types
}

fn main() {
    foo();
}