Currently, the typeSwitch bootstrap will produce a MethodHandle that uses a loop to go over the provided labels. That seems unnecessarily slow, it would be better to use either MethodHandles or generated code to do the instanceof checks.