Add test for issue 30867

Author: clubby789

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

@@ -0,0 +1,14 @@
+//@ check-pass
+//! Tests that HRTB impl selection covers type parameters not directly related
+//! to the trait.
+//! Test for <https://github.com/rust-lang/rust/issues/30867>
+
+#![crate_type = "lib"]
+
+traitUnary<T>{}
+impl<T,U,F:Fn(T) -> U>Unary<T>forF{}
+fnunary<F:for<'a>Unary<&'aT>,T>(){}
+
+pubfntest<F:for<'a>Fn(&'ai32) -> &'ai32>(){
+unary::<F,i32>()
+}