typing: new warning useless-null-test that detect == and != between non-nullables...