Do you mean modifying `eresult->type->mod`? No, we should not do it.
All of `Type` objects are cached via `Type::merge()`, so we should not modify fields of a type object which its deco field is set.
In other words, all of type objects should also be treated as immutable objects.