diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2025-02-20 19:07:39 +0000 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2025-02-20 19:11:07 +0000 |
| commit | 8ef535e03d8f34c7ad7aab14eea6a73bf4445b4c (patch) | |
| tree | ade146fde98cbef7307db62e97f03980bb04cc38 /tests/ui/try-trait/bad-question-mark-on-trait-object.rs | |
| parent | e565eeed78d0e59e475dce34b0833bbf8f84871b (diff) | |
| download | rust-8ef535e03d8f34c7ad7aab14eea6a73bf4445b4c.tar.gz rust-8ef535e03d8f34c7ad7aab14eea6a73bf4445b4c.zip | |
Point out the type of more expressions on bad `?`
Diffstat (limited to 'tests/ui/try-trait/bad-question-mark-on-trait-object.rs')
| -rw-r--r-- | tests/ui/try-trait/bad-question-mark-on-trait-object.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/ui/try-trait/bad-question-mark-on-trait-object.rs b/tests/ui/try-trait/bad-question-mark-on-trait-object.rs index f319610cb3a..9efac78b3d7 100644 --- a/tests/ui/try-trait/bad-question-mark-on-trait-object.rs +++ b/tests/ui/try-trait/bad-question-mark-on-trait-object.rs @@ -7,6 +7,7 @@ fn foo() -> Result<(), Box<dyn std::error::Error>> { //~ NOTE required `E: std:: //~| 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 |