Hi, we used to have this very issue in the past but I'm struggling to see how it still should be the case in the current code.

The implementation looks right to me, the overrides() method takes the (candidate) sub-type method as first parameter and the (candidate) super-type method as the second. It returns true if the former overrides the second. I.e. when constrainedExecutable.getExecutable() overrides executable, we'll keep constrainedExecutable.getExecutable(). That's the behavior we want there.

Your example doesn't contain any type parameters, so I can't really use it as a reproducer. Could you provide a small Maven project which exposes the issue? Thanks!