assert (o == null) || Statistics.decInstanceOf(); if (! (o == null || isInstance(o))) throw new ClassCastException("\n" + ((ScalaObject)o).getType() + "\n" + this.toString()); return o;
if (o == null) { if (this.isSubType(JavaLangObject)) return null; else throw new ClassCastException(); } else { assert Statistics.decInstanceOf(); if (isInstance(o)) return o; else throw new ClassCastException("\n" + ((ScalaObject)o).getType() + "\n" + this.toString()); }
    public Object cast(Object o) {        assert Statistics.incTypeCast();        assert (o == null) || Statistics.decInstanceOf();        if (! (o == null || isInstance(o)))            throw new ClassCastException("\n" + ((ScalaObject)o).getType() + "\n" + this.toString());        return o;    }