Auto merge of #157562 - sjwang05:fix-138660-enum-discr-layout, r=<try>

Avoid computing layout of enums with non-int discriminants

Author: bors

compiler/rustc_ty_utils/src/layout.rs

@@ -707,6 +707,17 @@ fn layout_of_uncached<'tcx>(
             let discr_range_of_repr =
                 |min, max| abi::Integer::discr_range_of_repr(tcx, ty, &def.repr(), min, max);
 
+            // We shouldn't be computing the layout of discrs that fail typeck
+            if def.is_enum() {
+                for v in def.variants() {
+                    if let ty::VariantDiscr::Explicit(def_id) = v.discr
+                        && let Err(guar) = def.eval_explicit_discr(tcx, def_id)
+                    {
+                        return Err(error(cx, LayoutError::ReferencesError(guar)));
+                    }
+                }
+            }
+
             let discriminants_iter = || {
                 def.is_enum()
                     .then(|| def.discriminants(tcx).map(|(v, d)| (v, d.val as i128)))

tests/crashes/138660.rs

@@ -0,0 +1,13 @@
+// Previously, enums with non-int discrs ICEd during CTFE of promoteds.
+
+enum A {
+//~^ ERROR `#[repr(inttype)]` must be specified
+    V1(isize) = 1..=10,
+    //~^ ERROR mismatched types
+    V0 = 1..=10,
+    //~^ ERROR mismatched types
+}
+
+const B: &'static [A] = &[A::V0, A::V1(111)];
+
+fn main() {}

tests/ui/enum-discriminant/non-int-discriminant-promoted-ice-138660.rs

@@ -0,0 +1,33 @@
+error[E0308]: mismatched types
+  --> $DIR/issue-138660-non-int-discriminant-promoted-ice.rs:11:17
+   |
+LL |     V1(isize) = 1..=10,
+   |                 ^^^^^^ expected `isize`, found `RangeInclusive<{integer}>`
+   |
+   = note: expected type `isize`
+            found struct `std::ops::RangeInclusive<{integer}>`
+   = note: enum variant discriminant can only be of a primitive type compatible with the enum's `repr`
+
+error[E0308]: mismatched types
+  --> $DIR/issue-138660-non-int-discriminant-promoted-ice.rs:13:10
+   |
+LL |     V0 = 1..=10,
+   |          ^^^^^^ expected `isize`, found `RangeInclusive<{integer}>`
+   |
+   = note: expected type `isize`
+            found struct `std::ops::RangeInclusive<{integer}>`
+   = note: enum variant discriminant can only be of a primitive type compatible with the enum's `repr`
+
+error[E0732]: `#[repr(inttype)]` must be specified for enums with explicit discriminants and non-unit variants
+  --> $DIR/issue-138660-non-int-discriminant-promoted-ice.rs:9:1
+   |
+LL | enum A {
+   | ^^^^^^
+LL |
+LL |     V1(isize) = 1..=10,
+   |                 ------ explicit discriminant on non-unit variant specified here
+
+error: aborting due to 3 previous errors
+
+Some errors have detailed explanations: E0308, E0732.
+For more information about an error, try `rustc --explain E0308`.