Rollup merge of #126004 - compiler-errors:captures-soundness-test, r=…

…lcnr

Add another test for hidden types capturing lifetimes that outlive but arent mentioned in substs

Another test to make sure future implementations of rust-lang/rust#116040 don't have any subtle unsoundness 🤔

r? types