Buggy code:
public Constant optimizedBooleanConstant ( ) { } public TypeBinding postConversionType ( Scope scope ) { } public StringBuffer printExpression ( int indent , StringBuffer output ) { } public TypeBinding reportError ( BlockScope scope ) { } public TypeBinding resolveType ( BlockScope scope ) { this . actualReceiverType = scope . enclosingReceiverType ( ) ; this . constant = Constant . NotAConstant ; if ( ( this . codegenBinding = this . binding = scope . getBinding ( this . tokens , ( ( this . bits ) & ( ASTNode . RestrictiveFlagMASK ) ) , this , true ) ) . isValidBinding ( ) ) { switch ( ( this . bits ) & ( ASTNode . RestrictiveFlagMASK ) ) { case Binding . VARIABLE : case ( Binding . TYPE ) | ( Binding . VARIABLE ) : if ( ( this . binding ) instanceof LocalVariableBinding ) { LocalVariableBinding local = ( ( LocalVariableBinding ) ( this . binding ) ) ; if ( ( ! ( local . isFinal ( ) ) ) && ( ( ( this . bits ) & ( ASTNode . DepthMASK ) ) != 0 ) ) scope . problemReporter ( ) . cannotReferToNonFinalOuterLocal ( ( ( LocalVariableBinding ) ( this . binding ) ) , this ) ; this . bits &= ~ ( ASTNode . RestrictiveFlagMASK ) ; this . bits |= Binding . LOCAL ; if ( ( ( local . type ) != null ) && ( ( ( local . type . tagBits ) & ( TagBits . HasMissingType ) ) != 0 ) ) { return null ; } this . resolvedType = getOtherFieldBindings ( scope ) ; if ( ( ( this . resolvedType ) != null ) && ( ( ( this . resolvedType . tagBits ) & ( TagBits . HasMissingType ) ) != 0 ) ) { FieldBinding lastField = this . otherBindings [ ( ( this . otherBindings . length ) - 1 ) ] ; scope . problemReporter ( ) . invalidField ( this , new ProblemFieldBinding ( lastField . declaringClass , lastField . name , ProblemReasons . NotFound ) , this . tokens . length , this . resolvedType . leafComponentType ( ) ) ; return null ; } return this . resolvedType ; } if ( ( this . binding ) instanceof FieldBinding ) { FieldBinding fieldBinding = ( ( FieldBinding ) ( this . binding ) ) ; MethodScope methodScope = scope . methodScope ( ) ; if ( ( ( ( ( ( this . indexOfFirstFieldBinding ) == 1 ) && ( ( methodScope . enclosingSourceType ( ) ) == ( fieldBinding . original ( ) . declaringClass ) ) ) && ( ( methodScope . lastVisibleFieldID ) >= 0 ) ) && ( ( fieldBinding . id ) >= ( methodScope . lastVisibleFieldID ) ) ) && ( ( ! ( fieldBinding . isStatic ( ) ) ) || ( methodScope . isStatic ) ) ) { scope . problemReporter ( ) . forwardReference ( this , 0 , methodScope . enclosingSourceType ( ) ) ; } if ( fieldBinding . isStatic ( ) ) { ReferenceBinding declaringClass = fieldBinding . declaringClass ; if ( declaringClass . isEnum ( ) ) { SourceTypeBinding sourceType = methodScope . enclosingSourceType ( ) ; if ( ( ( ( ( sourceType == declaringClass ) || ( ( sourceType . superclass ) == declaringClass ) ) && ( ( fieldBinding . constant ( ) ) == ( Constant . NotAConstant ) ) ) && ( ! ( methodScope . isStatic ) ) ) && ( methodScope . isInsideInitializerOrConstructor ( ) ) ) { scope . problemReporter ( ) . enumStaticFieldUsedDuringInitialization ( fieldBinding , this ) ; } } } else if ( ( ( this . indexOfFirstFieldBinding ) == 1 ) && ( ( scope . compilerOptions ( ) . getSeverity ( CompilerOptions . UnqualifiedFieldAccess ) ) != ( ProblemSeverities . Ignore ) ) ) { scope . problemReporter ( ) . unqualifiedFieldAccess ( this , fieldBinding ) ; } this . bits &= ~ ( ASTNode . RestrictiveFlagMASK ) ; this . bits |= Binding . FIELD ; this . resolvedType = getOtherFieldBindings ( scope ) ; if ( ( ( this . resolvedType ) != null ) && ( ( ( this . resolvedType . tagBits ) & ( TagBits . HasMissingType ) ) != 0 ) ) { FieldBinding lastField = ( ( this . indexOfFirstFieldBinding ) == ( this . tokens . length ) ) ? ( ( FieldBinding ) ( this . binding ) ) : this . otherBindings [ ( ( this . otherBindings . length ) - 1 ) ] ; scope . problemReporter ( ) . invalidField ( this , new ProblemFieldBinding ( lastField . declaringClass , lastField . name , ProblemReasons . NotFound ) , this . tokens . length , this . resolvedType . leafComponentType ( ) ) ; return null ; } return this . resolvedType ; } this . bits &= ~ ( ASTNode . RestrictiveFlagMASK ) ; this . bits |= Binding . TYPE ; case Binding . TYPE : TypeBinding type = ( ( TypeBinding ) ( this . binding ) ) ; type = scope . environment ( ) . convertToRawType ( type , false ) ; return this . resolvedType = type ; } } <START_BUG> return this . resolvedType = this . reportError ( scope ) ; <END_BUG> } protected void setCodegenBinding ( int index , FieldBinding someCodegenBinding ) { } public void setFieldIndex ( int index ) { } protected void setGenericCast ( int index , TypeBinding someGenericCast ) { } protected void setSyntheticAccessor ( FieldBinding fieldBinding , int index , SyntheticMethodBinding syntheticAccessor ) { } public void traverse ( ASTVisitor visitor , BlockScope scope ) { } public void traverse ( ASTVisitor visitor , ClassScope scope ) { } public String unboundReferenceErrorName ( ) { } }

Fix:
return this . resolvedType = reportError ( scope ) ;