I 100% agree, but that’s exactly what code linters do, which have been around for decades. That said, a more sophisticated linter might be useful in catching n

I 100% agree, but that’s exactly what code linters do, which have been around for decades. That said, a more sophisticated linter might be useful in catching non-idiomatic, but syntactically/stylistically valid code that would thus be flagged as “valid” by current linters’ simple automata.