src/test/ui/never_type/call-fn-never-arg-wrong-type.rs

// Test that we can't pass other types for !

fn foo(x: !) -> ! {
    x
}

fn main() {
    foo("wow"); //~ ERROR mismatched types
}