}
if (foundMethod == method) {
// The instance type doesn't override the method.
return;
}
assert foundMethod.canBePolymorphic();
if (!foundMethod.getOverriddenMethods().contains(method)) {
// The found method has the same signature as the target method of the call being tightened
// but does NOT override it. this situation occurs for example when the target method is
// package private and the found method is a method with the same name and signature as the