`AnyType` is `scala.Any`, yes. `ClassType("java_lang_Object")` is always replaced by `AnyType` instead, because a value typed as `Object` in the backend can actually hold a JavaScript object. So the type `ClassType("java_lang_Object")` is nonsense.