Skip to content

Commit

Permalink
Consider synthetic closure bodies to be typeck children
Browse files Browse the repository at this point in the history
  • Loading branch information
compiler-errors committed Sep 14, 2024
1 parent 5fe0e40 commit 63405fc
Show file tree
Hide file tree
Showing 2 changed files with 23 additions and 1 deletion.
5 changes: 4 additions & 1 deletion compiler/rustc_middle/src/ty/util.rs
Original file line number Diff line number Diff line change
Expand Up @@ -571,7 +571,10 @@ impl<'tcx> TyCtxt<'tcx> {
/// Returns `true` if `def_id` refers to a definition that does not have its own
/// type-checking context, i.e. closure, coroutine or inline const.
pub fn is_typeck_child(self, def_id: DefId) -> bool {
matches!(self.def_kind(def_id), DefKind::Closure | DefKind::InlineConst)
matches!(
self.def_kind(def_id),
DefKind::Closure | DefKind::InlineConst | DefKind::SyntheticCoroutineBody
)
}

/// Returns `true` if `def_id` refers to a trait (i.e., `trait Foo { ... }`).
Expand Down
19 changes: 19 additions & 0 deletions tests/ui/async-await/async-closures/debuginfo-by-move-body.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
//@ aux-build:block-on.rs
//@ edition: 2021
//@ build-pass
//@ compile-flags: -Cdebuginfo=2

#![feature(async_closure)]

extern crate block_on;

async fn call_once(f: impl async FnOnce()) {
f().await;
}

pub fn main() {
block_on::block_on(async {
let async_closure = async move || {};
call_once(async_closure).await;
});
}

0 comments on commit 63405fc

Please sign in to comment.