You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When combining multiple method handles, the parameter lists are often allowed to be effectively identical. We currently often just ignore that, expecting identical parameter lists or returning incomplete types (missing trailing parameters).
Instead, we should properly handle such situations with a common infrastructure all relevant methods can benefit from.
For example, it might make sense to introduce a ParameterList type. This could also help in situations where the return type is known but the length of the parameter list isn't known. This would further make analysis more precise, building upon #18.
The text was updated successfully, but these errors were encountered:
When combining multiple method handles, the parameter lists are often allowed to be effectively identical. We currently often just ignore that, expecting identical parameter lists or returning incomplete types (missing trailing parameters).
Instead, we should properly handle such situations with a common infrastructure all relevant methods can benefit from.
For example, it might make sense to introduce a
ParameterList
type. This could also help in situations where the return type is known but the length of the parameter list isn't known. This would further make analysis more precise, building upon #18.The text was updated successfully, but these errors were encountered: