Currently, ty does not report when a # type: ignore comment becomes obsolete or unused.
Relevant upstream issues:
Revisit existing # type: ignore comments in ~2 months (or once the upstream issues are resolved) and remove any that are no longer necessary once ty supports unused/obsolete ignore detection.
Based on #1625 (comment).