about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/transform/const_prop.rs
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2021-03-12 00:01:34 +0100
committerlcnr <rust@lcnr.de>2021-03-20 17:21:44 +0100
commit43ebac119b853de626fcc9afb49c5b0544731141 (patch)
tree6daf3bc9f9a34652a593d85af57253d5c2fe7d8a /compiler/rustc_mir/src/transform/const_prop.rs
parent41b315a470d583f6446599984ff9ad3bd61012b2 (diff)
extract `ConstKind::Unevaluated` into a struct
Diffstat (limited to 'compiler/rustc_mir/src/transform/const_prop.rs')
-rw-r--r--compiler/rustc_mir/src/transform/const_prop.rs6
1 files changed, 5 insertions, 1 deletions
diff --git a/compiler/rustc_mir/src/transform/const_prop.rs b/compiler/rustc_mir/src/transform/const_prop.rs
index cc8669d9705..7706316c965 100644
--- a/compiler/rustc_mir/src/transform/const_prop.rs
+++ b/compiler/rustc_mir/src/transform/const_prop.rs
@@ -491,7 +491,11 @@ impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx> {
                     let lint_only = match c.literal {
                         ConstantKind::Ty(ct) => match ct.val {
                             // Promoteds must lint and not error as the user didn't ask for them
-                            ConstKind::Unevaluated(_, _, Some(_)) => true,
+                            ConstKind::Unevaluated(ty::Unevaluated {
+                                def: _,
+                                substs: _,
+                                promoted: Some(_),
+                            }) => true,
                             // Out of backwards compatibility we cannot report hard errors in unused
                             // generic functions using associated constants of the generic parameters.
                             _ => c.literal.needs_subst(),