[lints]
unnecessary-invariant=error
