diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-05-02 21:16:55 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-06-13 11:05:13 -0700 |
| commit | 21ddf4d903762bb0af92ee0b63140544b8f0fbd2 (patch) | |
| tree | 9f992cfc617703bf398cf134f7f2789ce388eaee | |
| parent | a43e486e8d126f8a815c4e8ebba5ce8692864b06 (diff) | |
| download | rust-21ddf4d903762bb0af92ee0b63140544b8f0fbd2.tar.gz rust-21ddf4d903762bb0af92ee0b63140544b8f0fbd2.zip | |
Ensure that `drop_elaboration_and_check_consts` runs for all const items
| -rw-r--r-- | src/librustc_interface/passes.rs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/librustc_interface/passes.rs b/src/librustc_interface/passes.rs index 1a9bf4e1e8f..1ed9bc3f1f5 100644 --- a/src/librustc_interface/passes.rs +++ b/src/librustc_interface/passes.rs @@ -847,7 +847,11 @@ fn analysis(tcx: TyCtxt<'_>, cnum: CrateNum) -> Result<()> { sess.time("MIR_effect_checking", || { for def_id in tcx.body_owners() { - mir::transform::check_unsafety::check_unsafety(tcx, def_id) + mir::transform::check_unsafety::check_unsafety(tcx, def_id); + + if tcx.hir().body_const_context(def_id).is_some() { + tcx.ensure().mir_drops_elaborated_and_const_checked(def_id); + } } }); |