DebugInfo: Get debug type again after mutating them.