does this impact type hierarchy invalidation?