From 0ca2a5e52cb428a8381988e3551649ae07d4eb61 Mon Sep 17 00:00:00 2001
From: DutchGhost <kasper199914@gmail.com>
Date: Fri, 3 Apr 2020 18:28:01 +0200
Subject: [PATCH] Add test for #59023

---
 .../impl_trait_as_trait_return_position.rs      | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 src/test/ui/traits/impl_trait_as_trait_return_position.rs

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();
+}
-- 
2.44.0