Buggy code:
public class SingleNameReference extends NameReference implements OperatorIds { public char [ ] token ; public MethodBinding [ ] syntheticAccessors ; public static final int READ = 0 ; public static final int WRITE = 1 ; public TypeBinding genericCast ; public SingleNameReference ( char [ ] source , long pos ) { } public FlowInfo analyseAssignment ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo , Assignment assignment , boolean isCompound ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo ) { } public FlowInfo analyseCode ( BlockScope currentScope , FlowContext flowContext , FlowInfo flowInfo , boolean valueRequired ) { } public TypeBinding checkFieldAccess ( BlockScope scope ) { } public void computeConversion ( Scope scope , TypeBinding runtimeTimeType , TypeBinding compileTimeType ) { } public void generateAssignment ( BlockScope currentScope , CodeStream codeStream , Assignment assignment , boolean valueRequired ) { } public void generateCode ( BlockScope currentScope , CodeStream codeStream , boolean valueRequired ) { } public void generateCompoundAssignment ( BlockScope currentScope , CodeStream codeStream , Expression expression , int operator , int assignmentImplicitConversion , boolean valueRequired ) { } public void generateCompoundAssignment ( BlockScope currentScope , CodeStream codeStream , MethodBinding writeAccessor , Expression expression , int operator , int assignmentImplicitConversion , boolean valueRequired ) { } public void generatePostIncrement ( BlockScope currentScope , CodeStream codeStream , CompoundAssignment postIncrement , boolean valueRequired ) { } public void generateReceiver ( CodeStream codeStream ) { } public TypeBinding [ ] genericTypeArguments ( ) { } public void manageEnclosingInstanceAccessIfNecessary ( BlockScope currentScope , FlowInfo flowInfo ) { } public void manageSyntheticAccessIfNecessary ( BlockScope currentScope , FlowInfo flowInfo , boolean isReadAccess ) { } public StringBuffer printExpression ( int indent , StringBuffer output ) { } public TypeBinding reportError ( BlockScope scope ) { } public TypeBinding resolveType ( BlockScope scope ) { if ( ( this . actualReceiverType ) != null ) { this . binding = scope . getField ( this . actualReceiverType , token , this ) ; } else { this . actualReceiverType = scope . enclosingSourceType ( ) ; this . binding = scope . getBinding ( token , ( ( bits ) & ( ASTNode . RestrictiveFlagMASK ) ) , this , true ) ; } this . codegenBinding = this . binding ; if ( this . binding . isValidBinding ( ) ) { switch ( ( bits ) & ( ASTNode . RestrictiveFlagMASK ) ) { case Binding . VARIABLE : case ( Binding . VARIABLE ) | ( Binding . TYPE ) : if ( ( binding ) instanceof VariableBinding ) { VariableBinding variable = ( ( VariableBinding ) ( binding ) ) ; if ( ( binding ) instanceof LocalVariableBinding ) { bits &= ~ ( ASTNode . RestrictiveFlagMASK ) ; bits |= Binding . LOCAL ; if ( ( ! ( variable . isFinal ( ) ) ) && ( ( ( bits ) & ( ASTNode . DepthMASK ) ) != 0 ) ) { scope . problemReporter ( ) . cannotReferToNonFinalOuterLocal ( ( ( LocalVariableBinding ) ( variable ) ) , this ) ; } TypeBinding fieldType = variable . type ; if ( ( ( this . bits ) & ( IsStrictlyAssignedMASK ) ) == 0 ) { constant = variable . constant ( ) ; if ( fieldType != null ) fieldType = fieldType . capture ( scope , this . sourceEnd ) ; } else { constant = NotAConstant ; } return this . resolvedType = fieldType ; } FieldBinding field = ( ( FieldBinding ) ( this . binding ) ) ; if ( ( ! ( field . isStatic ( ) ) ) && ( ( scope . compilerOptions ( ) . getSeverity ( CompilerOptions . UnqualifiedFieldAccess ) ) != ( ProblemSeverities . Ignore ) ) ) { scope . problemReporter ( ) . unqualifiedFieldAccess ( this , field ) ; } TypeBinding fieldType = checkFieldAccess ( scope ) ; return this . resolvedType = ( ( ( this . bits ) & ( IsStrictlyAssignedMASK ) ) == 0 ) ? fieldType . capture ( scope , this . sourceEnd ) : fieldType ; } bits &= ~ ( ASTNode . RestrictiveFlagMASK ) ; bits |= Binding . TYPE ; case Binding . TYPE : constant = Constant . NotAConstant ; TypeBinding type = ( ( TypeBinding ) ( binding ) ) ; if ( isTypeUseDeprecated ( type , scope ) ) scope . problemReporter ( ) . deprecatedType ( type , this ) ; type = scope . environment ( ) . convertToRawType ( type ) ; <START_BUG> if ( ( type . isRawType ( ) ) && ( scope . compilerOptions ( ) . reportRawTypeReference ) ) { <END_BUG> scope . problemReporter ( ) . rawTypeReference ( this , type ) ; } return this . resolvedType = type ; } } return this . resolvedType = this . reportError ( scope ) ; } public void traverse ( ASTVisitor visitor , BlockScope scope ) { } public String unboundReferenceErrorName ( ) { } public LocalVariableBinding localVariableBinding ( ) { } }

Fix:
if ( ( ( type . isRawType ( ) ) && ( ( ( this . bits ) & ( ASTNode . IgnoreRawTypeCheck ) ) == 0 ) ) && ( scope . compilerOptions ( ) . reportRawTypeReference ) ) {