Try to explain to static checkers that we know what we're doing.