src/test/ui/lifetimes/lifetime-elision-return-type-trait.rs

   1 trait Future {
   2     type Item;
   3     type Error;
   4 }
   5
   6 use std::error::Error;
   7
   8 fn foo() -> impl Future<Item=(), Error=Box<dyn Error>> {
   9     //~^ ERROR not satisfied
  10     Ok(())
  11 }
  12
  13 fn main() {}