Remove unused `# type: ignore`s.