Code

Minor updates to protocol semantics#3996

Code

Merged

gvanrossum merged 6 commits intopython:masterpython/mypy:masterfrom

ilevkivskyi:update-protocolsilevkivskyi/mypy:update-protocolsCopy head branch name to clipboard

Sep 29, 2017

Commits

Commits on Sep 24, 2017

• None should be subtype of empty protocol

  ilevkivskyi

  committed
  ec7e239

  Copy full SHA for ec7e239

• Apply None rule only to Callables, add unrelated previously forgotten test

  ilevkivskyi

  committed
  2876a95

  Copy full SHA for 2876a95

• Prohibit issubclass() for non-method protocols

  ilevkivskyi

  committed
  fcdb276

  Copy full SHA for fcdb276

Commits on Sep 28, 2017

• Merge remote-tracking branch 'upstream/master' into update-protocols

  Show description for 22f942c
  ilevkivskyi

  committed
  22f942c

  Copy full SHA for 22f942c

• Address CR

  ilevkivskyi

  committed
  c31c99f

  Copy full SHA for c31c99f

• Restore correct typeshed commit

  ilevkivskyi

  committed
  07de2a3

  Copy full SHA for 07de2a3