Also support fnptr(): async Fn
in codegen
This commit is contained in:
parent
4c0016a01f
commit
2252ff7302
@ -37,7 +37,11 @@ fn make_shim<'tcx>(tcx: TyCtxt<'tcx>, instance: ty::InstanceDef<'tcx>) -> Body<'
|
|||||||
}
|
}
|
||||||
ty::InstanceDef::FnPtrShim(def_id, ty) => {
|
ty::InstanceDef::FnPtrShim(def_id, ty) => {
|
||||||
let trait_ = tcx.trait_of_item(def_id).unwrap();
|
let trait_ = tcx.trait_of_item(def_id).unwrap();
|
||||||
let adjustment = match tcx.fn_trait_kind_from_def_id(trait_) {
|
// Supports `Fn` or `async Fn` traits.
|
||||||
|
let adjustment = match tcx
|
||||||
|
.fn_trait_kind_from_def_id(trait_)
|
||||||
|
.or_else(|| tcx.async_fn_trait_kind_from_def_id(trait_))
|
||||||
|
{
|
||||||
Some(ty::ClosureKind::FnOnce) => Adjustment::Identity,
|
Some(ty::ClosureKind::FnOnce) => Adjustment::Identity,
|
||||||
Some(ty::ClosureKind::Fn) => Adjustment::Deref { source: DerefSource::ImmRef },
|
Some(ty::ClosureKind::Fn) => Adjustment::Deref { source: DerefSource::ImmRef },
|
||||||
Some(ty::ClosureKind::FnMut) => Adjustment::Deref { source: DerefSource::MutRef },
|
Some(ty::ClosureKind::FnMut) => Adjustment::Deref { source: DerefSource::MutRef },
|
||||||
|
31
tests/ui/async-await/async-fn/higher-ranked-async-fn.rs
Normal file
31
tests/ui/async-await/async-fn/higher-ranked-async-fn.rs
Normal file
@ -0,0 +1,31 @@
|
|||||||
|
//@ aux-build:block-on.rs
|
||||||
|
//@ edition:2018
|
||||||
|
//@ revisions: current next
|
||||||
|
//@[next] compile-flags: -Znext-solver
|
||||||
|
//@ build-pass (since it ICEs during mono)
|
||||||
|
|
||||||
|
#![feature(async_closure)]
|
||||||
|
|
||||||
|
extern crate block_on;
|
||||||
|
|
||||||
|
use std::future::Future;
|
||||||
|
|
||||||
|
async fn f(arg: &i32) {}
|
||||||
|
|
||||||
|
async fn func<F>(f: F)
|
||||||
|
where
|
||||||
|
F: async for<'a> Fn(&'a i32),
|
||||||
|
{
|
||||||
|
let x: i32 = 0;
|
||||||
|
f(&x).await;
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
block_on::block_on(async {
|
||||||
|
// Function
|
||||||
|
func(f).await;
|
||||||
|
|
||||||
|
// Regular closure (doesn't capture)
|
||||||
|
func(|x: &i32| async {});
|
||||||
|
});
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user