One consequence of Marcus' work on JDK-8007215 is that we preserve the parameter type information in "dyn:call" signatures, we're no longer erasing everything to Object. As such, we sometimes can determine whether a guard for a RuntimeCallSite will always be true or false based on static types of arguments; we could use that for more optimal linking.