3 // Regression test for #24085. Errors were occurring in region
4 // inference due to the requirement that `'a:b'`, which was getting
5 // incorrectly codegened in connection with the closure below.
8 struct Path<'a:'b, 'b> {
10 tail: Option<&'b Path<'a, 'b>>
13 #[allow(dead_code, unconditional_recursion)]
14 fn foo<'a,'b,F>(p: Path<'a, 'b>, mut f: F)
15 where F: for<'c> FnMut(Path<'a, 'c>) {