Add test for issue 30867

Author: clubby789

tests/ui/traits/hrtb-related-type-params-30867.rs

@@ -0,0 +1,10 @@
+//@ check-pass
+#![crate_type = "lib"]
+
+trait Unary<T> {}
+impl<T, U, F: Fn(T) -> U> Unary<T> for F {}
+fn unary<F: for<'a> Unary<&'a T>, T>() {}
+
+pub fn test<F: for<'a> Fn(&'a i32) -> &'a i32>() {
+    unary::<F, i32>()
+}