summaryrefslogtreecommitdiffstats
path: root/tests/ui/nll/trait-associated-constant.rs
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-17 12:19:13 +0000
commit218caa410aa38c29984be31a5229b9fa717560ee (patch)
treec54bd55eeb6e4c508940a30e94c0032fbd45d677 /tests/ui/nll/trait-associated-constant.rs
parentReleasing progress-linux version 1.67.1+dfsg1-1~progress7.99u1. (diff)
downloadrustc-218caa410aa38c29984be31a5229b9fa717560ee.tar.xz
rustc-218caa410aa38c29984be31a5229b9fa717560ee.zip
Merging upstream version 1.68.2+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'tests/ui/nll/trait-associated-constant.rs')
-rw-r--r--tests/ui/nll/trait-associated-constant.rs31
1 files changed, 31 insertions, 0 deletions
diff --git a/tests/ui/nll/trait-associated-constant.rs b/tests/ui/nll/trait-associated-constant.rs
new file mode 100644
index 000000000..e13ae80f9
--- /dev/null
+++ b/tests/ui/nll/trait-associated-constant.rs
@@ -0,0 +1,31 @@
+// Test cases where we put various lifetime constraints on trait
+// associated constants.
+
+#![feature(rustc_attrs)]
+
+use std::option::Option;
+
+trait Anything<'a: 'b, 'b> {
+ const AC: Option<&'b str>;
+}
+
+struct OKStruct1 { }
+
+impl<'a: 'b, 'b> Anything<'a, 'b> for OKStruct1 {
+ const AC: Option<&'b str> = None;
+}
+
+struct FailStruct { }
+
+impl<'a: 'b, 'b, 'c> Anything<'a, 'b> for FailStruct {
+ const AC: Option<&'c str> = None;
+ //~^ ERROR: const not compatible with trait
+}
+
+struct OKStruct2 { }
+
+impl<'a: 'b, 'b> Anything<'a, 'b> for OKStruct2 {
+ const AC: Option<&'a str> = None;
+}
+
+fn main() {}