Warn about unused type: ignore comments when error code is disabled - #18849
Merged
hauntsaninja merged 2 commits intoApr 3, 2025
Merged
type: ignore comments when error code is disabled - #18849