Another issue is when working with other developer...

# announcements

[zoltu]

Another issue is when working with other developers who are not as diligent, which is the reality of software engineering. When looking at a PR in GitHub I don't always have access to a full tooling suite and it is unrealistic to pull down every PR (even the one-line change ones) and keep velocity up. If the compiler was verifying for me I could rely on the build system to break if someone wrote code that could fail.