For many years, local Lipschitzian error bounds for systems of equations have been successfully used for the design and analysis of Newton-type methods. There are characterizations of those error bounds by means of first-order derivatives like a recent result by Izmailov, Kurennoy, and Solodov on critical solutions of nonlinear equations. We aim at extending this result in two directions which shall enable, to some extent, to include additional constraints and to consider mappings with reduced smoothness requirements. This leads to new necessary as well as sufficient conditions for the existence of error bounds.