Most of you have probably encountered the concept of static code analysis. Each of us uses IDEs, which for the most part offer either built-in tools for checking the correctness of syntax or launch linters in the background, the results of which are presented in an accessible form. The final result, however, is the same — we get information about the error in our code before we run/compile it. Usually, we will get the same information simply by running the previously written tests, but by receiving such information at the IDE level, the feedback loop is even shorter.