No actually it's normal. It is consistent with the fact that `JSApply` takes `AnyType` as parameters, but returns `DynType`. Similarly, assigning to a field takes `AnyType`, but reading a field is typed as `DynType`.