1 // Regression test for #98693.
3 // The closure encounters an obligation that `T` must outlive `!U1`,
4 // a placeholder from universe U1. We were ignoring this placeholder
5 // when promoting the constraint to the enclosing function, and
6 // thus incorrectly judging the closure to be safe.
17 //~^ ERROR the parameter type `T` may not live long enough