diff options
| author | Michael Goulet <michael@errs.io> | 2024-09-14 16:33:25 -0400 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2024-09-14 16:33:25 -0400 |
| commit | 63405fc2b3a15194e47712b738275c6d76de6b27 (patch) | |
| tree | 60cb1e6bd409feb8a2e3745b185b113a41cbdfba /compiler/rustc_middle/src | |
| parent | 5fe0e40e05f2d0408c6a292b160f96d595aedfbc (diff) | |
| download | rust-63405fc2b3a15194e47712b738275c6d76de6b27.tar.gz rust-63405fc2b3a15194e47712b738275c6d76de6b27.zip | |
Consider synthetic closure bodies to be typeck children
Diffstat (limited to 'compiler/rustc_middle/src')
| -rw-r--r-- | compiler/rustc_middle/src/ty/util.rs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/ty/util.rs b/compiler/rustc_middle/src/ty/util.rs index d70ff8258d0..a0262f12cb5 100644 --- a/compiler/rustc_middle/src/ty/util.rs +++ b/compiler/rustc_middle/src/ty/util.rs @@ -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 { ... }`). |