Buggy code:
public class ParameterizedTypeBinding extends ReferenceBinding implements Substitution { public ReferenceBinding type ; public TypeBinding [ ] arguments ; public LookupEnvironment environment ; public char [ ] genericTypeSignature ; public ReferenceBinding superclass ; public ReferenceBinding [ ] superInterfaces ; public FieldBinding [ ] fields ; public ReferenceBinding [ ] memberTypes ; public MethodBinding [ ] methods ; public ReferenceBinding enclosingType ; public ParameterizedTypeBinding ( ReferenceBinding type , TypeBinding [ ] arguments , ReferenceBinding enclosingType , LookupEnvironment environment ) { } public void collectSubstitutes ( TypeBinding otherType , Map substitutes ) { } public void computeId ( ) { } public char [ ] constantPoolName ( ) { } public String debugName ( ) { } public ReferenceBinding enclosingType ( ) { } public TypeBinding erasure ( ) { } public int fieldCount ( ) { } public FieldBinding [ ] fields ( ) { } public char [ ] genericTypeSignature ( ) { } public MethodBinding getExactConstructor ( TypeBinding [ ] argumentTypes ) { } public MethodBinding getExactMethod ( char [ ] selector , TypeBinding [ ] argumentTypes ) { } public FieldBinding getField ( char [ ] fieldName , boolean needResolve ) { } public ReferenceBinding getMemberType ( char [ ] typeName ) { } public MethodBinding [ ] getMethods ( char [ ] selector ) { } public boolean implementsMethod ( MethodBinding method ) { } void initialize ( ReferenceBinding someType , TypeBinding [ ] someArguments ) { this . type = someType ; this . sourceName = someType . sourceName ; this . compoundName = someType . compoundName ; this . fPackage = someType . fPackage ; this . fileName = someType . fileName ; this . modifiers = ( ( someType . modifiers ) | ( AccGenericSignature ) ) | ( AccUnresolved ) ; if ( someArguments != null ) { this . arguments = someArguments ; for ( int i = 0 , length = someArguments . length ; i < length ; i ++ ) { TypeBinding someArgument = someArguments [ i ] ; <START_BUG> if ( ( ! ( someArgument . isWildcard ( ) ) ) || ( ( ( ( WildcardBinding ) ( someArgument ) ) . kind ) != ( Wildcard . UNBOUND ) ) ) { <END_BUG> this . tagBits |= IsBoundParameterizedType ; } this . tagBits |= ( someArgument . tagBits ) & ( ( HasTypeVariable ) | ( HasWildcard ) ) ; } } this . tagBits |= ( someType . tagBits ) & ( ( ( IsLocalType ) | ( IsMemberType ) ) | ( IsNestedType ) ) ; } protected void initializeArguments ( ) { } public boolean isEquivalentTo ( TypeBinding otherType ) { } public boolean isParameterizedType ( ) { } public ReferenceBinding [ ] memberTypes ( ) { } public MethodBinding [ ] methods ( ) { } public char [ ] qualifiedSourceName ( ) { } public char [ ] readableName ( ) { } ReferenceBinding resolve ( ) { } public char [ ] shortReadableName ( ) { } public char [ ] signature ( ) { } public char [ ] sourceName ( ) { } public TypeBinding substitute ( TypeBinding originalType ) { } public ReferenceBinding superclass ( ) { } public ReferenceBinding [ ] superInterfaces ( ) { } public void swapUnresolved ( UnresolvedReferenceBinding unresolvedType , ReferenceBinding resolvedType , LookupEnvironment env ) { } public ReferenceBinding [ ] syntheticEnclosingInstanceTypes ( ) { } public SyntheticArgumentBinding [ ] syntheticOuterLocalVariables ( ) { } public TypeBinding leafComponentType ( ) { } public char [ ] qualifiedPackageName ( ) { } public String toString ( ) { } }

Fix:
if ( ( ! ( someArgument . isWildcard ( ) ) ) || ( ( ( WildcardBinding ) ( someArgument ) ) . isEquivalentToUnboundWildcard ( ) ) ) {