other.thisSym = thisSym;
if (thisSym != this) other.setTypeOfThis(typeOfThis());
    public Symbol cloneSymbol() {        ClassSymbol other = new ClassSymbol(pos, name, owner(), flags);        other.setInfo(info());	other.constructor.setInfo(constructor.info());	other.mangled = mangled;	other.module = module;	other.thisSym = thisSym;        return other;    }