Can `violations` ever be null in this context any more?