diff options
| author | Michael Goulet <michael@errs.io> | 2023-12-06 22:01:21 +0000 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-12-07 16:28:33 +0000 |
| commit | efe8ae730f4030e544ac733bc20c0825c713e7d9 (patch) | |
| tree | 7486e7b6c63a8dcb55bf6033887bb2f2b2f3c9cd /compiler/rustc_middle | |
| parent | 57fec79bec4f40ede6dd56dc854c6a136d3a12d4 (diff) | |
| download | rust-efe8ae730f4030e544ac733bc20c0825c713e7d9.tar.gz rust-efe8ae730f4030e544ac733bc20c0825c713e7d9.zip | |
Fix const drop checking
Diffstat (limited to 'compiler/rustc_middle')
| -rw-r--r-- | compiler/rustc_middle/src/ty/util.rs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/rustc_middle/src/ty/util.rs b/compiler/rustc_middle/src/ty/util.rs index 70252a4dc67..52c3529d2b4 100644 --- a/compiler/rustc_middle/src/ty/util.rs +++ b/compiler/rustc_middle/src/ty/util.rs @@ -781,9 +781,9 @@ impl<'tcx> TyCtxt<'tcx> { } pub fn expected_const_effect_param_for_body(self, def_id: LocalDefId) -> ty::Const<'tcx> { - // if the callee does have the param, we need to equate the param to some const - // value no matter whether the effects feature is enabled in the local crate, - // because inference will fail if we don't. + // FIXME(effects): This is suspicious and should probably not be done, + // especially now that we enforce host effects and then properly handle + // effect vars during fallback. let mut host_always_on = !self.features().effects || self.sess.opts.unstable_opts.unleash_the_miri_inside_of_you; |
