280      *  @param pos        Position to be used for error reporting.

   280      *  @param pos        Position to be used for error reporting.

   281      *  @param ex         The failure to report.

   281      *  @param ex         The failure to report.

   282      */

   282      */

   283     public Type completionError(DiagnosticPosition pos, CompletionFailure ex) {

   283     public Type completionError(DiagnosticPosition pos, CompletionFailure ex) {

   284         log.error(JCDiagnostic.DiagnosticFlag.NON_DEFERRABLE, pos, "cant.access", ex.sym, ex.getDetailValue());

   284         log.error(JCDiagnostic.DiagnosticFlag.NON_DEFERRABLE, pos, "cant.access", ex.sym, ex.getDetailValue());

   286                 && !suppressAbortOnBadClassFile) throw new Abort();

   286                 && !suppressAbortOnBadClassFile) throw new Abort();

   287         else return syms.errType;

   287         else return syms.errType;

   288     }

   288     }

   289 

   289 

   290     /** Report an error that wrong type tag was found.

   290     /** Report an error that wrong type tag was found.