Compilers do however guess that you don't want something - it's called compiler warnings. Linters do that as well. To me what you describe is more about how we

Compilers do however guess that you don't want something - it's called compiler warnings. Linters do that as well. To me what you describe is more about how we communicate with compilers than an inherent limitation.