fn produces_string() -> Option<String> {
    Some("my cool string".to_owned())
}

fn takes_str_but_too_many_refs(_: &&str) -> Option<()> {
    Some(())
}

fn no_args() -> Option<()> {
    Some(())
}

extern "C" fn takes_str_but_wrong_abi(_: &str) -> Option<()> {
    Some(())
}

unsafe fn takes_str_but_unsafe(_: &str) -> Option<()> {
    Some(())
}

struct TypeWithoutDeref;

fn main() {
    let _ = produces_string().and_then(takes_str_but_too_many_refs);
    //~^ ERROR type mismatch in function arguments
    let _ = produces_string().and_then(takes_str_but_wrong_abi);
    //~^ ERROR expected a `FnOnce<(String,)>` closure, found `for<'a> extern "C" fn(&'a str) -> Option<()> {takes_str_but_wrong_abi}`
    let _ = produces_string().and_then(takes_str_but_unsafe);
    //~^ ERROR expected a `FnOnce<(String,)>` closure, found `for<'a> unsafe fn(&'a str) -> Option<()> {takes_str_but_unsafe}`
    let _ = produces_string().and_then(no_args);
    //~^ ERROR function is expected to take 1 argument, but it takes 0 arguments
    let _ = Some(TypeWithoutDeref).and_then(takes_str_but_too_many_refs);
    //~^ ERROR type mismatch in function arguments
}