1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
|
//@ revisions: ascii unicode
//@[ascii] compile-flags: --diagnostic-width=40
//@[unicode] compile-flags: -Zunstable-options --error-format=human-unicode --diagnostic-width=40
//@ normalize-stderr: "long-type-\d+" -> "long-type-hash"
trait Future {
type Error;
}
impl<T, E> Future for Result<T, E> {
type Error = E;
}
impl<T> Future for Option<T> {
type Error = ();
}
struct Foo;
fn foo() -> Box<dyn Future<Error=Foo>> {
Box::new( //[ascii]~ ERROR E0271
Ok::<_, ()>(
Err::<(), _>(
Ok::<_, ()>(
Err::<(), _>(
Ok::<_, ()>(
Err::<(), _>(Some(5))
)
)
)
)
)
)
}
fn main() {
}
|