Code

Narrow types after 'in' operator#4072

Code

Merged

JukkaL merged 6 commits intopython:masterpython/mypy:masterfrom ilevkivskyi:narrow-inilevkivskyi/mypy:narrow-inCopy head branch name to clipboardOct 13, 2017

+260-1

Commits

Commits on Oct 8, 2017

• Narrow types after 'in' operator

  ilevkivskyi

  committed
  9b89f03

• Be safe: no Any or promotions

  ilevkivskyi

  committed
  4ece088

Commits on Oct 13, 2017

• Limit narrowing after in only to optional types

  ilevkivskyi

  committed
  59e69d6

• Fix strict-optional

  ilevkivskyi

  committed
  a23ad9d

• Address CR

  ilevkivskyi

  committed
  ff33241

• Add one more test

  ilevkivskyi

  committed
  42d7cc7