Rollup merge of rust-lang#70741 - DutchGhost:test-59023, r=Centril

Add test for rust-lang#59023 Adds a test for rust-lang#59023 Closes rust-lang#59023
Dylan-DPC-zz · Apr 3, 2020 · 5efda6c · 5efda6c
2 parents 8100c55 + 0ca2a5e
commit 5efda6c
Showing 1 changed file with 17 additions and 0 deletions.
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
@@ -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();
+}