diff options
| author | lcnr <rust@lcnr.de> | 2021-03-12 00:01:34 +0100 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2021-03-20 17:21:44 +0100 |
| commit | 43ebac119b853de626fcc9afb49c5b0544731141 (patch) | |
| tree | 6daf3bc9f9a34652a593d85af57253d5c2fe7d8a /compiler/rustc_mir/src/transform/const_prop.rs | |
| parent | 41b315a470d583f6446599984ff9ad3bd61012b2 (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.rs | 6 |
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(), |
