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


1
2
3
4
5
6
7
8
9
10
11

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

#![feature(never_type)]

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

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