an adjustment to the type-updating code to avoid ignoring constructor changes in parametric types