Rollup merge of rust-lang#91457 - steffahn:additional_test_from_91068…

…, r=jackh726 Add additional test from rust issue number 91068 see rust-lang#91068 r? `@jackh726`
matthiaskrgr · Dec 2, 2021 · 0efed6c · 0efed6c
2 parents 6054fa8 + b77ed83
commit 0efed6c
Showing 1 changed file with 22 additions and 0 deletions.
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
@@ -0,0 +1,22 @@
+// check-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() {}