From: DutchGhost <kasper199914@gmail.com>
Date: Fri, 3 Apr 2020 16:28:01 +0000 (+0200)
Subject: Add test for #59023
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=0ca2a5e52cb428a8381988e3551649ae07d4eb61;p=rust.git

Add test for #59023
---

diff --git a/src/test/ui/traits/impl_trait_as_trait_return_position.rs b/src/test/ui/traits/impl_trait_as_trait_return_position.rs
new file mode 100644
index 00000000000..c3325fd80ca
--- /dev/null
+++ b/src/test/ui/traits/impl_trait_as_trait_return_position.rs
@@ -0,0 +1,17 @@
+// check-pass
+
+trait A {
+    type Foo;
+}
+
+impl<T> A for T {
+    type Foo = ();
+}
+
+fn foo() -> impl std::borrow::Borrow<<u8 as A>::Foo> {
+    ()
+}
+
+fn main() {
+    foo();
+}