Do we know this cast is always going to succeed? Is `Object` still the correct argument type for the method, in this case? Otherwise, should we add a `checkArgument` here?