1 // Test that the resolve failure does not lead to downstream type errors.
7 fn closure<F, T>(x: F) -> Result<T, ()>
8 where F: FnMut() -> T, T: TheTrait,
13 fn foo() -> Result<(), ()> {
14 try!(closure(|| bar(core::ptr::null_mut()))); //~ ERROR cannot find function `bar` in this scope