Extend `redundant-expr` to type narrowing assertions

Feature

Assert statements can be used to guide the type checker but are not checked for redundancy like casts.

Pitch

Consider this simple example, with the --enable-error-code=redundant-expr flag:

def f(x: int) -> None:
    assert x is not None           # no issue
    assert x is not None and True  # error: Left operand of "and" is always true

I think it would be useful to have mypy emit a warning for the first line.

No se especifica ningún archivo ni prueba. Empieza por localizar el manejo existente de expresiones redundantes para casts y la ruta de narrowing de tipos de assert; después, revisa las pruebas relevantes. El trabajo estará terminado cuando las assertions redundantes, como assert x is not None, se notifiquen bajo --enable-error-code=redundant-expr sin cambiar el comportamiento válido del narrowing.