blob: 2a0d14b175030f8cbd474fe17ef2453fc73014a7 (
plain)
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
|
struct E;
//~^ NOTE `E` needs to implement `std::error::Error`
//~| NOTE alternatively, `E` needs to implement `Into<X>`
struct X; //~ NOTE `X` needs to implement `From<E>`
fn foo() -> Result<(), Box<dyn std::error::Error>> { //~ NOTE required `E: std::error::Error` because of this
Ok(bar()?)
//~^ ERROR `?` couldn't convert the error: `E: std::error::Error` is not satisfied
//~| NOTE the trait `std::error::Error` is not implemented for `E`
//~| NOTE the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
//~| NOTE required for `Box<dyn std::error::Error>` to implement `From<E>`
//~| NOTE this has type `Result<_, E>`
//~| NOTE in this expansion
//~| NOTE in this expansion
//~| NOTE in this expansion
}
fn bat() -> Result<(), X> { //~ NOTE expected `X` because of this
Ok(bar()?)
//~^ ERROR `?` couldn't convert the error to `X`
//~| NOTE the trait `From<E>` is not implemented for `X`
//~| NOTE this can't be annotated with `?` because it has type `Result<_, E>`
//~| NOTE the question mark operation (`?`) implicitly performs a conversion on the error value using the `From` trait
//~| NOTE in this expansion
//~| NOTE in this expansion
}
fn bar() -> Result<(), E> {
Err(E)
}
fn main() {}
|
