Аннотации типов, необходимые для String при использовании AsRef

Я использую Warp вот так:


#[derive(Default)]
struct State {
    topics: HashMap<String, Topic>,
}

struct Topic {
    name: String,
    description: String,
    items: Vec<String>,
}

fn with_state(state: Arc<Mutex<State>>) -> impl Filter<Extract = (Arc<Mutex<State>>,), Error = std::convert::Infallible> + Clone {
    warp::any().map(move || state.clone())
}

#[tokio::main]
async fn main() {
    let state = Arc::new(Mutex::new(State::default()));

    let survey = warp::get()
        .and(warp::path!("survey" / String))
        .and(warp::path::end())
        .and(with_state(state.clone()))
        .and_then(|topic: String, state: Arc<Mutex<State>>| async move {
            let state = state.lock().unwrap();

            let topic = state.topics.get(&topic).ok_or(warp::reject::not_found())?;

            let res: Result<Value, Rejection> = Ok(json!({
                "name": topic.name,
                "items": topic.items.iter().map(AsRef::as_ref).collect::<Value>(),
            }));
            res
        })
    ...

Если я компилирую, он дает эту ошибку:

error[E0283]: type annotations needed for `std::string::String`
   --> src/main.rs:210:20
    |
210 |         .and_then(|topic: String, state: Arc<Mutex<State>>| async move {
    |                    ^^^^^ consider giving this closure parameter a type
    |
    = note: cannot resolve `std::string::String: std::convert::AsRef<_>`
    = note: required by `std::convert::AsRef::as_ref`

Это действительно странно. Что это значит consider giving this closure parameter a type? Разве у него уже нет типа? Еще более странно, если я закомментирую эту строку:

            "items": topic.items.iter().map(AsRef::as_ref).collect::<Value>(),

Затем он компилируется! Хотя эта строка явно не имеет ничего общего с параметром topic. В чем дело?


person Timmmm    schedule 31.05.2020    source источник


Ответы (1)


Ах, я только что понял, что мне нужно изменить это:

AsRef::as_ref

к этому:

AsRef::<str>::as_ref

Сообщение об ошибке совершенно неверно.

person Timmmm    schedule 31.05.2020