public SymbolTablePrinter printSymbolType(Symbol symbol, String inner, Symbol user) {
public SymbolTablePrinter printSymbolType(Symbol symbol, String inner) {
    public SymbolTablePrinter printSymbolType(Symbol symbol, String inner, Symbol user) {        Type type = symbol.rawFirstInfo();        if (!(type instanceof Type.LazyType)) type = symbol.info();        boolean star = false;        if ((symbol.flags & Modifiers.REPEATED) != 0 &&            type.symbol() == global.definitions.SEQ_CLASS &&            type.typeArgs().length == 1)        {            type = type.typeArgs()[0];            star = true;        }	printType(type, inner, user);        if (star) print("*");        return this;    }