summaryrefslogtreecommitdiffstats
path: root/tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs')
-rw-r--r--tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs26
1 files changed, 26 insertions, 0 deletions
diff --git a/tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs b/tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs
new file mode 100644
index 000000000..95ead6b5d
--- /dev/null
+++ b/tests/ui/pattern/issue-68393-let-pat-assoc-constant.rs
@@ -0,0 +1,26 @@
+pub enum EFoo {
+ A,
+}
+
+pub trait Foo {
+ const X: EFoo;
+}
+
+struct Abc;
+
+impl Foo for Abc {
+ const X: EFoo = EFoo::A;
+}
+
+struct Def;
+impl Foo for Def {
+ const X: EFoo = EFoo::A;
+}
+
+pub fn test<A: Foo, B: Foo>(arg: EFoo, A::X: EFoo) {
+ //~^ ERROR associated consts cannot be referenced in patterns
+ let A::X = arg;
+ //~^ ERROR associated consts cannot be referenced in patterns
+}
+
+fn main() {}