assert Debug.log("update override: ", overridden, " -> ", symbol);
    private void loadMethodOverride(Type[] bases, Symbol symbol) {        if (!symbol.isMethod()) return;        Override override = Override.empty().insert(symbol);        if (symbol.isJava()) override.insert(mirror.getMethod(symbol));        for (int i = 0; i < bases.length; i++) {            Symbol overridden = symbol.overriddenSymbol(bases[i]);            if (overridden == Symbol.NONE) continue;            override.insert(lookupOverride(overridden));        }        insertOverride(symbol, override);    }