src/test/compile-fail/closure-that-fails.rs


1
2
3
4
5
6
7

fn foo(f: &fn() -> !) {}

fn main() {
    // Type inference didn't use to be able to handle this:
    foo(|| fail!());
    foo(|| 22); //~ ERROR mismatched types
}