Buggy code:
public abstract class ReferenceBinding extends TypeBinding { public char [ ] [ ] compoundName ; public char [ ] sourceName ; public int modifiers ; public PackageBinding fPackage ; char [ ] fileName ; char [ ] constantPoolName ; char [ ] signature ; private SimpleLookupTable compatibleCache ; public static final ReferenceBinding LUB_GENERIC = new ReferenceBinding ( ) { } ; private static final Comparator FIELD_COMPARATOR = new Comparator ( ) { public int compare ( Object o1 , Object o2 ) { } } ; private static final Comparator METHOD_COMPARATOR = new Comparator ( ) { public int compare ( Object o1 , Object o2 ) { } } ; public static FieldBinding binarySearch ( char [ ] name , FieldBinding [ ] sortedFields ) { } public static long binarySearch ( char [ ] selector , MethodBinding [ ] sortedMethods ) { } static int compare ( char [ ] str1 , char [ ] str2 , int len1 , int len2 ) { } public static void sortFields ( FieldBinding [ ] sortedFields , int left , int right ) { } public static void sortMethods ( MethodBinding [ ] sortedMethods , int left , int right ) { } public FieldBinding [ ] availableFields ( ) { } public MethodBinding [ ] availableMethods ( ) { } public boolean canBeInstantiated ( ) { } public final boolean canBeSeenBy ( PackageBinding invocationPackage ) { } public final boolean canBeSeenBy ( ReferenceBinding receiverType , ReferenceBinding invocationType ) { } public final boolean canBeSeenBy ( Scope scope ) { } public char [ ] computeGenericTypeSignature ( TypeVariableBinding [ ] typeVariables ) { } public void computeId ( ) { } public char [ ] computeUniqueKey ( boolean isLeaf ) { } public char [ ] constantPoolName ( ) { } public String debugName ( ) { } public final int depth ( ) { } public boolean detectAnnotationCycle ( ) { if ( ( ( this . tagBits ) & ( TagBits . EndAnnotationCheck ) ) != 0 ) return false ; if ( ( ( this . tagBits ) & ( TagBits . BeginAnnotationCheck ) ) != 0 ) return true ; this . tagBits |= TagBits . BeginAnnotationCheck ; MethodBinding [ ] currentMethods = methods ( ) ; boolean inCycle = false ; for ( int i = 0 , l = currentMethods . length ; i < l ; i ++ ) { <START_BUG> TypeBinding returnType = currentMethods [ i ] . returnType . leafComponentType ( ) ; <END_BUG> if ( ( this ) == returnType ) { if ( ( this ) instanceof SourceTypeBinding ) { MethodDeclaration decl = ( ( MethodDeclaration ) ( currentMethods [ i ] . sourceMethod ( ) ) ) ; ( ( SourceTypeBinding ) ( this ) ) . scope . problemReporter ( ) . annotationCircularity ( this , this , ( decl != null ? decl . returnType : null ) ) ; } } else if ( ( returnType . isAnnotationType ( ) ) && ( ( ( ReferenceBinding ) ( returnType ) ) . detectAnnotationCycle ( ) ) ) { if ( ( this ) instanceof SourceTypeBinding ) { MethodDeclaration decl = ( ( MethodDeclaration ) ( currentMethods [ i ] . sourceMethod ( ) ) ) ; ( ( SourceTypeBinding ) ( this ) ) . scope . problemReporter ( ) . annotationCircularity ( this , returnType , ( decl != null ? decl . returnType : null ) ) ; } inCycle = true ; } } if ( inCycle ) return true ; this . tagBits |= TagBits . EndAnnotationCheck ; return false ; } public final ReferenceBinding enclosingTypeAt ( int relativeDepth ) { } public int enumConstantCount ( ) { } public int fieldCount ( ) { } public FieldBinding [ ] fields ( ) { } public final int getAccessFlags ( ) { } public AnnotationBinding [ ] getAnnotations ( ) { } public long getAnnotationTagBits ( ) { } public int getEnclosingInstancesSlotSize ( ) { } public MethodBinding getExactConstructor ( TypeBinding [ ] argumentTypes ) { } public MethodBinding getExactMethod ( char [ ] selector , TypeBinding [ ] argumentTypes , CompilationUnitScope refScope ) { } public FieldBinding getField ( char [ ] fieldName , boolean needResolve ) { } public char [ ] getFileName ( ) { } public ReferenceBinding getMemberType ( char [ ] typeName ) { } public MethodBinding [ ] getMethods ( char [ ] selector ) { } public MethodBinding [ ] getMethods ( char [ ] selector , int suggestedParameterLength ) { } public int getOuterLocalVariablesSlotSize ( ) { } public PackageBinding getPackage ( ) { } public TypeVariableBinding getTypeVariable ( char [ ] variableName ) { } public int hashCode ( ) { } public boolean hasIncompatibleSuperType ( ReferenceBinding otherType ) { } public boolean hasMemberTypes ( ) { } public final boolean hasRestrictedAccess ( ) { } public boolean implementsInterface ( ReferenceBinding anInterface , boolean searchHierarchy ) { } boolean implementsMethod ( MethodBinding method ) { } public final boolean isAbstract ( ) { } public boolean isAnnotationType ( ) { } public final boolean isBinaryBinding ( ) { } public boolean isClass ( ) { } public boolean isCompatibleWith ( TypeBinding otherType ) { } private boolean isCompatibleWith0 ( TypeBinding otherType ) { } public final boolean isDefault ( ) { } public final boolean isDeprecated ( ) { } public boolean isEnum ( ) { } public final boolean isFinal ( ) { } public boolean isHierarchyBeingConnected ( ) { } public boolean isHierarchyConnected ( ) { } public boolean isInterface ( ) { } public final boolean isPrivate ( ) { } public final boolean isOrEnclosedByPrivateType ( ) { } public final boolean isProtected ( ) { } public final boolean isPublic ( ) { } public final boolean isStatic ( ) { } public final boolean isStrictfp ( ) { }

Fix:
TypeBinding returnType = currentMethods [ i ] . returnType . leafComponentType ( ) . erasure ( ) ;