summaryrefslogtreecommitdiffstats
path: root/tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs')
-rw-r--r--tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs b/tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs
new file mode 100644
index 000000000..f0d5fea8e
--- /dev/null
+++ b/tests/ui/consts/issue-69310-array-size-lit-wrong-ty.rs
@@ -0,0 +1,11 @@
+// This is a regression test for #69310, which was injected by #68118.
+// The issue here was that as a performance optimization,
+// we call the query `lit_to_const(input);`.
+// However, the literal `input.lit` would not be of the type expected by `input.ty`.
+// As a result, we immediately called `bug!(...)` instead of bubbling up the problem
+// so that it could be handled by the caller of `lit_to_const` (`from_anon_const`).
+
+fn main() {}
+
+const A: [(); 0.1] = [()]; //~ ERROR mismatched types
+const B: [(); b"a"] = [()]; //~ ERROR mismatched types