Extracted out from #41574 (comment). See the second bullet point about [Analyzer diagnostics]. Additionally, see #41574 (comment) for context on why this cannot be implemented as an analyzer/fixer.