I believe it is a bug that the purity/safety checks ignore the error rather than propagate it. Those errors are not warnings or suggestions, they need to be propagated. I want to get to the point where we can remove the global.errors checks.