JDK-8221373 (?) Missing checkcast in void-returning lambda

[B. Blaser]

Hi,

Looking a bit at JDK-8221373, I'd like to make sure we are going in
the right direction before posting a RFR.

Going back to JDK-8203338, we decided in [1] to take the functional
descriptor's erased return type as translation target which might
cause some side-effects like in Liam's void-returning lambda where no
'checkcast' are emitted anymore.
So my question is rather simple, should we put in place something
closer to the initial fix I suggested in [2] to preserve the original
erased expression typing?

Thanks,
Bernard

[1] http://mail.openjdk.java.net/pipermail/compiler-dev/2018-June/012086.html
[2] http://mail.openjdk.java.net/pipermail/compiler-dev/2018-June/012076.html