Add test for issue-41366

src/test/ui/closures/issue-41366.rs

@@ -0,0 +1,13 @@
+trait T<'x> {
+ type V;
+}
+
+impl<'g> T<'g> for u32 {
+ type V = u16;
+}
+
+fn main() {
+ (&|_|()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
+ //~^ ERROR: type mismatch in closure arguments
+ //~| ERROR: type mismatch resolving
+}

src/test/ui/closures/issue-41366.stderr

@@ -0,0 +1,22 @@
+error[E0631]: type mismatch in closure arguments
+ --> $DIR/issue-41366.rs:10:5
+ |
+LL | (&|_|()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
+ | ^^-----^
+ | | |
+ | | found signature of `fn(_) -> _`
+ | expected signature of `for<'x> fn(<u32 as T<'x>>::V) -> _`
+ |
+ = note: required for the cast to the object type `dyn for<'x> std::ops::Fn(<u32 as T<'x>>::V)`
+
+error[E0271]: type mismatch resolving `for<'x> <[closure@$DIR/issue-41366.rs:10:7: 10:12] as std::ops::FnOnce<(<u32 as T<'x>>::V,)>>::Output == ()`
+ --> $DIR/issue-41366.rs:10:5
+ |
+LL | (&|_|()) as &dyn for<'x> Fn(<u32 as T<'x>>::V);
+ | ^^^^^^^^ expected bound lifetime parameter 'x, found concrete lifetime
+ |
+ = note: required for the cast to the object type `dyn for<'x> std::ops::Fn(<u32 as T<'x>>::V)`
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0271`.