about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2019-12-23 07:37:16 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2019-12-24 01:05:09 +0900
commit1f2fa939a5536eeff86c0ea6b7ebde538a582ad4 (patch)
tree9363438a9c276847381e6fd16b3fd2a89ec855e0
parent6ec3a63bb287d11849b2fc3546793437bbbbd865 (diff)
downloadrust-1f2fa939a5536eeff86c0ea6b7ebde538a582ad4.tar.gz
rust-1f2fa939a5536eeff86c0ea6b7ebde538a582ad4.zip
Add test for issue-67424
-rw-r--r--src/test/ui/generic-associated-types/issue-67424.rs13
-rw-r--r--src/test/ui/generic-associated-types/issue-67424.stderr20
2 files changed, 33 insertions, 0 deletions
diff --git a/src/test/ui/generic-associated-types/issue-67424.rs b/src/test/ui/generic-associated-types/issue-67424.rs
new file mode 100644
index 00000000000..9b616b8abc2
--- /dev/null
+++ b/src/test/ui/generic-associated-types/issue-67424.rs
@@ -0,0 +1,13 @@
+// Fixed by #67160
+
+trait Trait1 {
+    type A;
+}
+
+trait Trait2 {
+    type Type1<B>: Trait1<A=B>;
+    //~^ ERROR: generic associated types are unstable
+    //~| ERROR: type-generic associated types are not yet implemented
+}
+
+fn main() {}
diff --git a/src/test/ui/generic-associated-types/issue-67424.stderr b/src/test/ui/generic-associated-types/issue-67424.stderr
new file mode 100644
index 00000000000..59ff8ac0a3a
--- /dev/null
+++ b/src/test/ui/generic-associated-types/issue-67424.stderr
@@ -0,0 +1,20 @@
+error[E0658]: generic associated types are unstable
+  --> $DIR/issue-67424.rs:8:5
+   |
+LL |     type Type1<B>: Trait1<A=B>;
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: for more information, see https://github.com/rust-lang/rust/issues/44265
+   = help: add `#![feature(generic_associated_types)]` to the crate attributes to enable
+
+error: type-generic associated types are not yet implemented
+  --> $DIR/issue-67424.rs:8:5
+   |
+LL |     type Type1<B>: Trait1<A=B>;
+   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
+   |
+   = note: for more information, see https://github.com/rust-lang/rust/issues/44265
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0658`.