PR !4#13970: feat: a linter to flag unnecessary uses of `...

Stream: triage

[Random Issue Bot]

Today I chose PR 13970 for discussion!

feat: a linter to flag unnecessary uses of nolint simpNF
Created by @damiano (@adomani) on 2024-06-19
Labels: awaiting-author, merge-conflict, t-linter

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

This PR still seems useful, to run occasionally. Imho, this could be a linter which is disabled by default. @Damiano Testa What do you think?

[Damiano Testa]

I think that this is a good idea and, more generally, writing code that checks that existing code is doing something is a good endeavour in my opinion!

[Damiano Testa]

If I remember correctly, part of the implementation of the linter in this thread, is a syntax version of the simpNF linter. It was not perfect, but it was good enough to find "local" simpNF failures.

[Damiano Testa]

I am out of lean time to devote to this, though, so if someone wants to take this over, please feel free to do so! :smile: