Workaround 'rustc' bug, compiling more async code.

This commit implements a workaround for an [issue within rustc]. The
problem showed itself when using e.g. a `Vec<&str>` argument in an async
route handler (but not `&str`), which resulted in a "implementation of
`FromForm` is not general enough" error. The workaround itself works by
gathering all invocations of `FromForm`'s methods inside a block without
any `.await` points [ref].

[issue within rustc]: https://github.com/rust-lang/rust/issues/69663
[ref]: https://github.com/rust-lang/rust/issues/57478#issuecomment-501186084
This commit is contained in:
Jakub Dąbek 2021-08-21 19:46:04 +02:00 committed by Sergio Benitez
parent 7a54a1293e
commit 9177b20ff1
2 changed files with 34 additions and 26 deletions

View File

@ -75,37 +75,39 @@ fn query_decls(route: &Route) -> Option<TokenStream> {
#[allow(non_snake_case)] #[allow(non_snake_case)]
Some(quote! { Some(quote! {
let mut __e = #_form::Errors::new(); let (#(#ident),*) = {
#(let mut #ident = #init_expr;)* let mut __e = #_form::Errors::new();
#(let mut #ident = #init_expr;)*
for _f in #__req.query_fields() { for _f in #__req.query_fields() {
let _raw = (_f.name.source().as_str(), _f.value); let _raw = (_f.name.source().as_str(), _f.value);
let _key = _f.name.key_lossy().as_str(); let _key = _f.name.key_lossy().as_str();
match (_raw, _key) { match (_raw, _key) {
// Skip static parameters so <param..> doesn't see them. // Skip static parameters so <param..> doesn't see them.
#(((#raw_name, #raw_value), _) => { /* skip */ },)* #(((#raw_name, #raw_value), _) => { /* skip */ },)*
#((_, #matcher) => #push_expr,)* #((_, #matcher) => #push_expr,)*
_ => { /* in case we have no trailing, ignore all else */ }, _ => { /* in case we have no trailing, ignore all else */ },
}
} }
}
#( #(
let #ident = match #finalize_expr { let #ident = match #finalize_expr {
#_Ok(_v) => #_Some(_v), #_Ok(_v) => #_Some(_v),
#_Err(_err) => { #_Err(_err) => {
__e.extend(_err.with_name(#_form::NameView::new(#name))); __e.extend(_err.with_name(#_form::NameView::new(#name)));
#_None #_None
}, },
}; };
)* )*
if !__e.is_empty() { if !__e.is_empty() {
#_log::warn_!("Query string failed to match route declaration."); #_log::warn_!("Query string failed to match route declaration.");
for _err in __e { #_log::warn_!("{}", _err); } for _err in __e { #_log::warn_!("{}", _err); }
return #Outcome::Forward(#__data); return #Outcome::Forward(#__data);
} }
#(let #ident = #ident.unwrap();)* (#(#ident.unwrap()),*)
};
}) })
} }

View File

@ -12,6 +12,12 @@ async fn hello(_origin: &Origin<'_>) -> &'static str {
"Hello, world!" "Hello, world!"
} }
#[get("/repeated_query?<sort>")]
async fn repeated_query(sort: Vec<&str>) -> &str {
noop().await;
sort[0]
}
#[catch(404)] #[catch(404)]
async fn not_found(req: &Request<'_>) -> String { async fn not_found(req: &Request<'_>) -> String {
noop().await; noop().await;