summaryrefslogtreecommitdiffstats
path: root/src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:02:58 +0000
commit698f8c2f01ea549d77d7dc3338a12e04c11057b9 (patch)
tree173a775858bd501c378080a10dca74132f05bc50 /src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs
parentInitial commit. (diff)
downloadrustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.tar.xz
rustc-698f8c2f01ea549d77d7dc3338a12e04c11057b9.zip
Adding upstream version 1.64.0+dfsg1.upstream/1.64.0+dfsg1
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs')
-rw-r--r--src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs25
1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs b/src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs
new file mode 100644
index 000000000..6215b7d93
--- /dev/null
+++ b/src/test/ui/const-generics/min_const_generics/forbid-non-static-lifetimes.rs
@@ -0,0 +1,25 @@
+// This test checks that non-static lifetimes are prohibited under `min_const_generics`. It
+// currently emits an error with `min_const_generics`.
+
+fn test<const N: usize>() {}
+
+fn issue_75323_and_74447_1<'a>() -> &'a () {
+ test::<{ let _: &'a (); 3 },>();
+ //~^ ERROR a non-static lifetime is not allowed in a `const`
+ &()
+}
+
+fn issue_75323_and_74447_2() {
+ test::<{ let _: &(); 3 },>();
+}
+
+fn issue_75323_and_74447_3() {
+ test::<{ let _: &'static (); 3 },>();
+}
+
+fn issue_73375<'a>() {
+ [(); (|_: &'a u8| (), 0).1];
+ //~^ ERROR a non-static lifetime is not allowed in a `const`
+}
+
+fn main() {}