error required warning invariant