No language or linter will be perfect, and IMO unit tests should be written for what the compiler doesn't do for you. In this case, your unit tests missed code paths, which should show up in a code coverage analysis or fuzz test.
But your editor can give some more realtime feedback instead of waiting for your tests to run, so I guess that's cool.