Some implementations, such as the VarHandle combinator API added in jdk.incubator.foreign.MemoryHandles, want to check whether certain method handles can throw (checked) exceptions.

Currently, there is no reliable way to retrieve that information for all kinds of method handles. Particularly BoundMehtodHandles are problematic, because the internal structure is complex.

We should investigate adding a reliable way to either track or reverse-engineer the exception types that can be thrown by an arbitrary method handle. (And, perhaps expose the exception types through a public API as well).