Interesting. I would have assumed that this kind of check should be done by static analysers.