diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-01-28 12:56:04 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-09-23 13:34:09 +0000 |
| commit | 286502c9ed77e49aea5bb89cf18c5eda3a8fce92 (patch) | |
| tree | 08a01a16ddcbb97325f70ff0677debf33c332065 /compiler/rustc_hir_analysis/src | |
| parent | a626caaad97b7f8733b8c9bd1fe9662cfc1e3ec1 (diff) | |
| download | rust-286502c9ed77e49aea5bb89cf18c5eda3a8fce92.tar.gz rust-286502c9ed77e49aea5bb89cf18c5eda3a8fce92.zip | |
Enable drop_tracking_mir by default.
Diffstat (limited to 'compiler/rustc_hir_analysis/src')
| -rw-r--r-- | compiler/rustc_hir_analysis/src/check/check.rs | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/compiler/rustc_hir_analysis/src/check/check.rs b/compiler/rustc_hir_analysis/src/check/check.rs index 116222ba56e..564206f9e4b 100644 --- a/compiler/rustc_hir_analysis/src/check/check.rs +++ b/compiler/rustc_hir_analysis/src/check/check.rs @@ -1579,13 +1579,7 @@ fn opaque_type_cycle_error( label_match(capture.place.ty(), capture.get_path_span(tcx)); } // Label any generator locals that capture the opaque - for interior_ty in - typeck_results.generator_interior_types.as_ref().skip_binder() - { - label_match(interior_ty.ty, interior_ty.span); - } - if tcx.sess.opts.unstable_opts.drop_tracking_mir - && let DefKind::Generator = tcx.def_kind(closure_def_id) + if let DefKind::Generator = tcx.def_kind(closure_def_id) && let Some(generator_layout) = tcx.mir_generator_witnesses(closure_def_id) { for interior_ty in &generator_layout.field_tys { @@ -1603,7 +1597,6 @@ fn opaque_type_cycle_error( } pub(super) fn check_generator_obligations(tcx: TyCtxt<'_>, def_id: LocalDefId) { - debug_assert!(tcx.sess.opts.unstable_opts.drop_tracking_mir); debug_assert!(matches!(tcx.def_kind(def_id), DefKind::Generator)); let typeck = tcx.typeck(def_id); |
