From 51875e3d5a9595663cf19e9ebffd182fe680869c Mon Sep 17 00:00:00 2001
From: Frank Steffahn <frank.steffahn@stu.uni-kiel.de>
Date: Thu, 2 Dec 2021 17:46:57 +0100
Subject: [PATCH 1/2] Add additional test from rust issue number 91068

---
 ...implied-bounds-unnorm-associated-type-2.rs | 22 +++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs

diff --git a/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs b/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs
new file mode 100644
index 00000000000..cf004290b0c
--- /dev/null
+++ b/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs
@@ -0,0 +1,22 @@
+// build-pass
+
+trait Trait {
+    type Type;
+}
+
+impl<T> Trait for T {
+    type Type = ();
+}
+
+fn f<'a, 'b>(_: <&'a &'b () as Trait>::Type)
+where
+    'a: 'a,
+    'b: 'b,
+{
+}
+
+fn g<'a, 'b>() {
+    f::<'a, 'b>(());
+}
+
+fn main() {}

From b77ed83ee246631aefe5d00b65bb936b856807c7 Mon Sep 17 00:00:00 2001
From: Jack Huey <31162821+jackh726@users.noreply.github.com>
Date: Thu, 2 Dec 2021 12:11:31 -0500
Subject: [PATCH 2/2] Change to check-pass

---
 src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs b/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs
index cf004290b0c..5a92bcd37b6 100644
--- a/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs
+++ b/src/test/ui/fn/implied-bounds-unnorm-associated-type-2.rs
@@ -1,4 +1,4 @@
-// build-pass
+// check-pass
 
 trait Trait {
     type Type;