Description
Code
// Here is (somewhat) minimal reproducer extracted from actual code
// https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=1dd13c8cc5daee9cb6a14c5ee5cdefac
/*async fn post(client: &reqwest::Client, key: &ring::hmac::Key, body: &[(String, String)]) -> Result<String, Box<dyn std::error::Error>> {
todo!();
}*/
#[tokio::main]
async fn main() -> Result<(), Box<dyn std::error::Error>> {
let client = reqwest::Client::new();
let key = ring::hmac::Key::new(todo!(), todo!());
post(&client, &key, &[
("".to_owned(), "".to_owned()),
]).await?;
return Ok(());
}Current output
Compiling playground v0.0.1 (/playground)
warning: unreachable expression
--> src/main.rs:8:45
|
8 | let key = ring::hmac::Key::new(todo!(), todo!());
| ------- ^^^^^^^ unreachable expression
| |
| any code following this expression is unreachable
|
= note: `#[warn(unreachable_code)]` on by default
= note: this warning originates in the macro `todo` (in Nightly builds, run with -Z macro-backtrace for more info)
error[E0277]: the trait bound `&Key: IntoUrl` is not satisfied
--> src/main.rs:9:5
|
9 | / post(&client, &key, &[
10 | | ("".to_owned(), "".to_owned()),
11 | | ]).await?;
| |______^ the trait `IntoUrl` is not implemented for `&Key`
|
= help: the following other types implement trait `IntoUrl`:
&'a String
&'a str
String
Url
note: required by a bound in `reqwest::Client::post`
--> /playground/.cargo/registry/src/github.com-1ecc6299db9ec823/reqwest-0.11.13/src/async_impl/client.rs:1431:20
|
1431 | pub fn post<U: IntoUrl>(&self, url: U) -> RequestBuilder {
| ^^^^^^^ required by this bound in `reqwest::Client::post`
error[E0061]: this function takes 1 argument but 2 arguments were supplied
--> src/main.rs:9:5
|
9 | post(&client, &key, &[
| _____^^^^________________-
10 | | ("".to_owned(), "".to_owned()),
11 | | ]).await?;
| |_____- argument of type `&[(String, String); 1]` unexpected
|
note: associated function defined here
--> /playground/.cargo/registry/src/github.com-1ecc6299db9ec823/reqwest-0.11.13/src/async_impl/client.rs:1431:12
|
1431 | pub fn post<U: IntoUrl>(&self, url: U) -> RequestBuilder {
| ^^^^
help: remove the extra argument
|
9 | post(&key)(&client, &key, &[
| ++++++
error[E0425]: cannot find function `post` in this scope
--> src/main.rs:9:5
|
9 | post(&client, &key, &[
| ^^^^ not found in this scope
|
help: use the `.` operator to call the method `post` on `&reqwest::Client`
|
9 ~ (&client).post(&key, &[
10+ ("".to_owned(), "".to_owned()),
11~ ]).await?;
|
error[E0277]: `reqwest::RequestBuilder` is not a future
--> src/main.rs:11:7
|
9 | / post(&client, &key, &[
10 | | ("".to_owned(), "".to_owned()),
11 | | ]).await?;
| | -^^^^^^
| | ||
| | |`reqwest::RequestBuilder` is not a future
| |______|help: remove the `.await`
| this call returns `reqwest::RequestBuilder`
|
= help: the trait `Future` is not implemented for `reqwest::RequestBuilder`
= note: reqwest::RequestBuilder must be a future or must implement `IntoFuture` to be awaited
= note: required for `reqwest::RequestBuilder` to implement `IntoFuture`
Some errors have detailed explanations: E0061, E0277, E0425.
For more information about an error, try `rustc --explain E0061`.
warning: `playground` (bin "playground") generated 1 warning
error: could not compile `playground` due to 4 previous errors; 1 warning emitted
Desired output
I think errors should be in other order
Rationale and extra context
Provided code is minimal reproducer extracted from actual code from my project.
In some point I had function post in my code called from main. But then I commented post and forgot about that. Then I run compiler and saw these very strange error messages. I usually read compiler errors from begin to end. The first error said that I have no &Key: IntoUrl satisfied. This is very strange. Why I should have &Key: IntoUrl satisfied? I stared at this very strange error for some time. And then I decided to see other error messages. And then I suddenly saw error message (at 3rd place) that post is not defined at all! At this moment I understood that post is commented (remember: my actual code is big, so it is easy to miss this).
So, the problem is so: rustc is simply too smart. Rustc should simply complain that post is not defined. But rustc goes further and "fixes" it and then complains that post is called with wrong number of arguments and that bounds are not satisfied. And moreover rustc gives error messages in wrong order: first complains that traits are not satisfied and argument number is wrong and then complains that there is no post at all!
Remember: I usually read first error message only and ignore the rest.
Rustc version is 1.66.1 stable
Other cases
No response
Anything else?
No response