blob: ef948a1a88ce11eb216d522c396543ff9b32e833 [file] [log] [blame]
//@ dont-require-annotations: NOTE
pub fn foo(params: Option<&[&str]>) -> usize {
params.unwrap().first().unwrap().len()
}
fn main() {
let name = "Foo";
let x = Some(&[name]);
let msg = foo(x);
//~^ ERROR mismatched types
//~| NOTE expected enum `Option<&[&str]>`
//~| NOTE found enum `Option<&[&str; 1]>`
//~| NOTE expected `Option<&[&str]>`, found `Option<&[&str; 1]>`
assert_eq!(msg, 3);
}