Skip to content

improve diagnostics for non-send Futures that might be solved by introducing temporary variables #67376

Closed
@yoshuawuyts

Description

@yoshuawuyts
Member

In http-rs/tide#370 we had a user report that they encountered a Send error similar to the ones discussed in #64130. Thanks to the diagnostics introduced #65345 on nightly we were able to correctly diagnose the root cause of the error.

But for many users this might still not be enough to figure out how to solve this, and we could improve by providing a hint.

Current Diagnostics

2019-12-17-175740_1920x1080

   Compiling tide-demo v0.1.0 (/home/anon/Code/importcjj/tide-demo)
error: future cannot be sent between threads safely
  --> src/main.rs:47:27
   |
47 |         app.at("/submit").post(|req: tide::Request<State>| {
   |                           ^^^^ future is not `Send`
   |
   = help: the trait `std::marker::Sync` is not implemented for `(dyn futures_io::if_std::AsyncBufRead + std::marker::Send + 'static)`
note: future is not `Send` as this value is used across an await
  --> src/main.rs:49:29
   |
49 |                 let conn = &req.state().pool.get().await;
   |                             ---^^^^^^^^^^^^^^^^^^^^^^^^^- `req` is later dropped here
   |                             |
   |                             await occurs here, with `req` maybe used later
   |                             has type `&tide::request::Request<State>`

Suggested Diagnostics

@estebank suggested we could add a suggestion here:

help: consider assigning `&req.state().pool` to a temporary variable

Repro

Refs

Activity

added
A-diagnosticsArea: Messages for errors, warnings, and lints
C-enhancementCategory: An issue proposing an enhancement or a PR with one.
T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.
on Dec 17, 2019
added
D-newcomer-roadblockDiagnostics: Confusing error or lint; hard to understand for new users.
D-papercutDiagnostics: An error or lint that needs small tweaks.
on Dec 17, 2019
tmandry

tmandry commented on Jan 7, 2020

@tmandry
Member

Visiting from triage.. assigning @csmoe for implementation and @nikomatsakis to leave some tips.

csmoe

csmoe commented on Jan 8, 2020

@csmoe
Member

reproduced with exsited ui testcase:

use std::any::Any;
use std::future::Future;

struct Client(Box<dyn Any + Send>);

impl Client {
    fn status(&self) -> u16 {
        200
    }
}

async fn get() { }

pub fn foo() -> impl Future + Send {
    //~^ ERROR future cannot be sent between threads safely
    let client = Client(Box::new(true));
    async move {
        match client.status() {
            200 => {
                let _x = get().await;
            },
            _ => (),
        }
    }
}

fn main() {}
  --> $DIR/issue-64130-4-async-move.rs:21:26
   |
LL |         match client.status() {
   |               ------ has type `&Client`
LL |             200 => {
LL |                 let _x = get().await;
   |                          ^^^^^^^^^^^ await occurs here, with `client` maybe used later
...
LL |     }
   |     - `client` is later dropped here
   = note: the return type of a function must have a statically known size

rewrite the match expr as:

let status = client.status();
match status { ... }

will fix this.
The problem is that client does NOT has type &Client actually, but .status() creates a temporary borrow as &Client.

added a commit that references this issue on Jan 15, 2020

Rollup merge of rust-lang#68212 - csmoe:temp, r=estebank

ae1e75b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

A-async-awaitArea: Async & AwaitA-diagnosticsArea: Messages for errors, warnings, and lintsAsyncAwait-TriagedAsync-await issues that have been triaged during a working group meeting.C-enhancementCategory: An issue proposing an enhancement or a PR with one.D-newcomer-roadblockDiagnostics: Confusing error or lint; hard to understand for new users.D-papercutDiagnostics: An error or lint that needs small tweaks.T-compilerRelevant to the compiler team, which will review and decide on the PR/issue.

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

    Development

    Participants

    @nikomatsakis@estebank@jonas-schievink@tmandry@yoshuawuyts

    Issue actions

      improve diagnostics for non-send Futures that might be solved by introducing temporary variables · Issue #67376 · rust-lang/rust