The fix for JDK-8155258 introduced a regression whereby the erased call site method type and the erased target method type are checked for equality. The exact method types should be checked.

The lambda form shapes for the generic and exact invokers should be the same, and should switch on the appropriate checkVarHandle*Type method that returns a method handle.