VM.assert(false);
VM._assert(false);
  private static boolean isCandidate (VM_Type t) {    if (VM.VerifyAssertions) {      if (t.isClassType() && !t.asClass().isLoaded()) {        VM.sysWrite("NOT LOADED: " + t + "\n");        VM.assert(false);      }    }    if (t.isPrimitiveType())      return  false;    if (t.isClassType() && t.asClass().isFinal())      return  false;    if (t.isArrayType()) {      VM_Type et = t.asArray().getInnermostElementType();      if (et.isClassType() && !et.asClass().isLoaded())        return  false;       else         return  isCandidate(et);    }    return  true;  }  /**   * Have we determined a single concrete type for a field? If so,   * return the concrete type.  Else, return null.   */  public static VM_Type getConcreteType (VM_Field f) {    // don't bother for primitives and arrays of primitives    // and friends    if (!isCandidate(f.getType()))      return  f.getType();    // for some special classes, the flow-insensitive summaries    // are INCORRECT due to using the wrong implementation    // during boot image writing.  For these special cases,    // give up.    if (isTrouble(f))      return  null;    if (DEBUG) {      VM_Type t = db.getConcreteType(f);      if (t != null)        debug("CONCRETE TYPE " + f + " IS " + t);    }    return  db.getConcreteType(f);  }