Thanks for yet another case to cover; think indeed best here to have a separate recipe, as that then keeps the logic cleaner here, and allows us to pick up cases already converted.

I think we already have this one; we just need to tie it in here. Nice to be able to leverage existing logic there! :)

https://github.com/openrewrite/rewrite-static-analysis/blob/f1e53d203de026938615fee8b5175cba379dc279/src/test/java/org/openrewrite/staticanalysis/LambdaBlockToExpressionTest.java#L35-L58

Did a quick check: we're running up against this safe guard where any overload invalidates the visit of a lambda argument.
https://github.com/openrewrite/rewrite-static-analysis/blob/6d04813574c6b02c8bf7d6e2f66b2bdaa881854c/src/main/java/org/openrewrite/staticanalysis/LambdaBlockToExpression.java#L74

Not quite sure if we can safely change that here. 🤔

Specifically, the methods were seeing overloaded at that particular point are these.

org.junit.jupiter.api.Assertions{
    name=assertThrows,
    return=Generic{T extends java.lang.Throwable},
    parameters=[java.lang.Class<Generic{T extends java.lang.Throwable}>,org.junit.jupiter.api.function.Executable,java.util.function.Supplier<java.lang.String>]
}
org.junit.jupiter.api.Assertions{
    name=assertThrows,
    return=Generic{T extends java.lang.Throwable},
    parameters=[java.lang.Class<Generic{T extends java.lang.Throwable}>,org.junit.jupiter.api.function.Executable,java.lang.String]
}
org.junit.jupiter.api.Assertions{
    name=assertThrows,
    return=Generic{T extends java.lang.Throwable},
    parameters=[java.lang.Class<Generic{T extends java.lang.Throwable}>,org.junit.jupiter.api.function.Executable]
}

We could try this out in LambdaBlockToExpressionTest to see if we can safely recognize these cases and allow the replacement, but it'll be tricky not the break any other cases there. I'll leave it at this for now. :)