about summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--compiler/rustc_mir/src/transform/check_consts/validation.rs3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_mir/src/transform/check_consts/validation.rs b/compiler/rustc_mir/src/transform/check_consts/validation.rs
index e0dd7970883..0781a76a166 100644
--- a/compiler/rustc_mir/src/transform/check_consts/validation.rs
+++ b/compiler/rustc_mir/src/transform/check_consts/validation.rs
@@ -237,7 +237,8 @@ impl Validator<'mir, 'tcx> {
             self.check_item_predicates();
 
             for (idx, local) in body.local_decls.iter_enumerated() {
-                if local.internal {
+                // Handle the return place below.
+                if idx == RETURN_PLACE || local.internal {
                     continue;
                 }