about summary refs log tree commit diff
diff options
context:
space:
mode:
authorYuki Okushi <huyuumi.dev@gmail.com>2020-10-15 08:36:24 +0900
committerYuki Okushi <huyuumi.dev@gmail.com>2020-10-18 07:57:24 +0900
commit59cc9de039ca251599b007cdf32b721bdd3f4578 (patch)
treeaa4b255ce6546d450d348836046ad2309b1c2222
parent23092c7491c05f9da6d9e100d093a02c4a5e476c (diff)
downloadrust-59cc9de039ca251599b007cdf32b721bdd3f4578.tar.gz
rust-59cc9de039ca251599b007cdf32b721bdd3f4578.zip
Add test for issue-75983
-rw-r--r--src/test/ui/traits/trait-alias/issue-75983.rs17
1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/traits/trait-alias/issue-75983.rs b/src/test/ui/traits/trait-alias/issue-75983.rs
new file mode 100644
index 00000000000..f9a7f36de43
--- /dev/null
+++ b/src/test/ui/traits/trait-alias/issue-75983.rs
@@ -0,0 +1,17 @@
+// check-pass
+
+#![feature(trait_alias)]
+
+struct Bar;
+trait Foo {}
+impl Foo for Bar {}
+
+trait Baz = Foo where Bar: Foo;
+
+fn new() -> impl Baz {
+    Bar
+}
+
+fn main() {
+    let _ = new();
+}