From 9f051a38aba596ac1b3874dbda635e15b3bf5a9d Mon Sep 17 00:00:00 2001
From: Ayaz Hafiz <ayaz.hafiz.1@gmail.com>
Date: Fri, 10 Jul 2020 08:05:39 -0700
Subject: [PATCH] Add test for generic bounds on associated types

This was fixed in 1e9af9fa2eb6ba4e0ad1e2e275003ada7e5a27e2 but it seems
that a test was never added.

Closes #4315
---
 tests/source/where-clause.rs | 5 +++++
 tests/target/where-clause.rs | 5 +++++
 2 files changed, 10 insertions(+)

diff --git a/tests/source/where-clause.rs b/tests/source/where-clause.rs
index 2a916082548..686e4531211 100644
--- a/tests/source/where-clause.rs
+++ b/tests/source/where-clause.rs
@@ -56,3 +56,8 @@ impl<'a, 'gcx, 'tcx> ProbeContext<'a, 'gcx, 'tcx> {
         // ...
     }
 }
+
+// #4315
+pub trait AsUnindented {
+    type Output<'ast> where Self: 'ast;
+}
diff --git a/tests/target/where-clause.rs b/tests/target/where-clause.rs
index eb2f8d5e6e8..21c80a121db 100644
--- a/tests/target/where-clause.rs
+++ b/tests/target/where-clause.rs
@@ -105,3 +105,8 @@ impl<'a, 'gcx, 'tcx> ProbeContext<'a, 'gcx, 'tcx> {
         // ...
     }
 }
+
+// #4315
+pub trait AsUnindented {
+    type Output<'ast> where Self: 'ast;
+}