Buggy code:
argumentTypes = new TypeBinding [ length ] ; for ( int i = 0 ; i < length ; i ++ ) { Expression argument = arguments [ i ] ; if ( argument instanceof CastExpression ) { argument . bits |= IgnoreNeedForCastCheckMASK ; argsContainCast = true ; } if ( ( argumentTypes [ i ] = this . arguments [ i ] . resolveType ( scope ) ) == null ) argHasError = true ; } if ( argHasError ) { if ( ( actualReceiverType ) instanceof ReferenceBinding ) { this . binding = scope . findMethod ( ( ( ReferenceBinding ) ( actualReceiverType ) ) , selector , new TypeBinding [ ] { } , this ) ; } return null ; } } if ( ( this . actualReceiverType ) == null ) { return null ; } if ( this . actualReceiverType . isBaseType ( ) ) { scope . problemReporter ( ) . errorNoMethodFor ( this , this . actualReceiverType , argumentTypes ) ; return null ; } this . binding = ( this . receiver . isImplicitThis ( ) ) ? scope . getImplicitMethod ( this . selector , argumentTypes , this ) : scope . getMethod ( this . actualReceiverType , this . selector , argumentTypes , this ) ; if ( ! ( this . binding . isValidBinding ( ) ) ) { if ( ( ( this . binding ) instanceof ProblemMethodBinding ) && ( ( ( ( ProblemMethodBinding ) ( this . binding ) ) . problemId ( ) ) == ( ProblemReasons . NotVisible ) ) ) { if ( ( this . evaluationContext . declaringTypeName ) != null ) { this . delegateThis = scope . getField ( scope . enclosingSourceType ( ) , EvaluationConstants . DELEGATE_THIS , this ) ; if ( ( this . delegateThis ) == null ) { this . constant = NotAConstant ; scope . problemReporter ( ) . invalidMethod ( this , this . binding ) ; return null ; } } else { this . constant = NotAConstant ; scope . problemReporter ( ) . invalidMethod ( this , this . binding ) ; return null ; } CodeSnippetScope localScope = new CodeSnippetScope ( scope ) ; MethodBinding privateBinding = ( ( ( this . receiver ) instanceof CodeSnippetThisReference ) && ( ( ( CodeSnippetThisReference ) ( this . receiver ) ) . isImplicit ) ) ? localScope . getImplicitMethod ( ( ( ReferenceBinding ) ( this . delegateThis . type ) ) , this . selector , argumentTypes , this ) : localScope . getMethod ( this . delegateThis . type , this . selector , argumentTypes , this ) ; if ( ! ( privateBinding . isValidBinding ( ) ) ) { if ( ( this . binding . declaringClass ) == null ) { if ( ( this . actualReceiverType ) instanceof ReferenceBinding ) { this . binding . declaringClass = ( ( ReferenceBinding ) ( this . actualReceiverType ) ) ; } else { scope . problemReporter ( ) . errorNoMethodFor ( this , this . actualReceiverType , argumentTypes ) ; return null ; } } scope . problemReporter ( ) . invalidMethod ( this , this . binding ) ; return null ; } else { this . binding = privateBinding ; } } else { if ( ( this . binding . declaringClass ) == null ) { if ( ( this . actualReceiverType ) instanceof ReferenceBinding ) { this . binding . declaringClass = ( ( ReferenceBinding ) ( this . actualReceiverType ) ) ; } else { scope . problemReporter ( ) . errorNoMethodFor ( this , this . actualReceiverType , argumentTypes ) ; return null ; } } scope . problemReporter ( ) . invalidMethod ( this , this . binding ) ; return null ; } } if ( ! ( this . binding . isStatic ( ) ) ) { if ( ( ( receiver ) instanceof NameReference ) && ( ( ( ( ( NameReference ) ( receiver ) ) . bits ) & ( Binding . TYPE ) ) != 0 ) ) { scope . problemReporter ( ) . mustUseAStaticMethod ( this , binding ) ; } else { TypeBinding receiverErasure = this . actualReceiverType . erasure ( ) ; if ( receiverErasure instanceof ReferenceBinding ) { <START_BUG> ReferenceBinding match = ( ( ReferenceBinding ) ( receiverErasure ) ) . findSuperTypeErasingTo ( ( ( ReferenceBinding ) ( this . binding . declaringClass . erasure ( ) ) ) ) ; <END_BUG> if ( match == null ) { this . actualReceiverType = this . binding . declaringClass ; } } receiver . computeConversion ( scope , this . actualReceiverType , this . actualReceiverType ) ; } } ASTNode . checkInvocationArguments ( scope , this . receiver , actualReceiverType , binding , this . arguments , argumentTypes , argsContainCast , this ) ; if ( binding . isAbstract ( ) ) { if ( receiver . isSuper ( ) ) { scope . problemReporter ( ) . cannotDireclyInvokeAbstractMethod ( this , binding ) ; } } if ( isMethodUseDeprecated ( binding , scope ) ) scope . problemReporter ( ) . deprecatedMethod ( binding , this ) ; if ( ( ( ( actualReceiverType . isArrayType ( ) ) && ( ( this . binding . parameters ) == ( NoParameters ) ) ) && ( ( scope . compilerOptions ( ) . complianceLevel ) >= ( JDK1_5 ) ) ) && ( CharOperation . equals ( this . binding . selector , TypeConstants . CLONE ) ) ) { this . resolvedType = actualReceiverType ; } else { TypeBinding returnType = this . binding . returnType ; if ( returnType != null ) returnType = returnType . capture ( scope , this . sourceEnd ) ; this . resolvedType = returnType ; } return this . resolvedType ; } }

Fix:
ReferenceBinding match = ( ( ReferenceBinding ) ( receiverErasure ) ) . findSuperTypeWithSameErasure ( this . binding . declaringClass ) ;