Repository navigation

support anything with .keys() and getitem in dict.init - #4470

Merged

srittau merged 6 commits into

python:masterfrom

Akuli:dict-keys-getitem

Aug 24, 2020

Merged

support anything with .keys() and getitem in dict.init#4470
srittau merged 6 commits into
python:masterfrom
Akuli:dict-keys-getitem

Commits on Aug 20, 2020
- support anything with .keys() and __getitem__ in dict.__init__
  Akuli
  committed
  21ad21f
- _KT_contra --> _KT_co
  Akuli
  committed
  156b02f
- _KT_co --> _KT
  Akuli
  committed
  6780f05
- fix copy/pasta
  Akuli
  committed
  fccf26c
- copy file
  Akuli
  committed
  e22af30
Commits on Aug 21, 2020
- Merge remote-tracking branch 'origin/master' into dict-keys-getitem
  Akuli
  committed
  e5166c1