diff --git a/tests/ui/closures/explicit-closure-lifetime-issue-87290.rs b/tests/ui/closures/explicit-closure-lifetime-issue-87290.rs new file mode 100644 index 0000000000000..cde24fab9c968 --- /dev/null +++ b/tests/ui/closures/explicit-closure-lifetime-issue-87290.rs @@ -0,0 +1,17 @@ +// Regression test for . + +//@ check-pass + +#![crate_type = "lib"] + +pub fn f<'a>(_: &'a i32, _: impl FnOnce(&mut &mut &'a i32)) {} + +pub fn g<'a>(p: &'a i32) { + f(p, |_: &mut &mut &'a i32| {}) +} + +pub fn h<'a>(p: &'a i32) { + f(p, |x: &mut &mut &'a i32| { + let _: &mut &mut &'a i32 = x; + }) +}