mypy

Narrow membership in statically known containers

#21461

Merged