2013-03-07 16:38:38 -06:00
|
|
|
fn foo(f: &fn() -> !) {}
|
2013-01-08 08:21:19 -06:00
|
|
|
|
|
|
|
fn main() {
|
|
|
|
// Type inference didn't use to be able to handle this:
|
2013-09-29 22:06:21 -05:00
|
|
|
foo(|| fail2!());
|
2013-01-08 08:21:19 -06:00
|
|
|
foo(|| 22); //~ ERROR mismatched types
|
|
|
|
}
|