Code

Add unbound typevar check#13166

Code

Merged

ilevkivskyi merged 23 commits intopython:masterpython/mypy:masterfrom AurelienJaquier:add-unbound-typevar-checkAurelienJaquier/mypy:add-unbound-typevar-checkCopy head branch name to clipboardJul 19, 2022

+98-13

Commits

Commits on Jul 17, 2022

• Add simple unbound typevar check and rudimentary test

  

  Jaquier Aurélien Tristan

  committed
  cc8d33f

  Copy full SHA for cc8d33f

• Add test for unbound func returning iterables of TypeVars

  

  Jaquier Aurélien Tristan

  committed
  cc8faff

  Copy full SHA for cc8faff

• Add appropriate error message and make the new test pass

  

  Jaquier Aurélien Tristan

  committed
  a771393

  Copy full SHA for a771393

• add CollectArgTypes to get set of argument types

  anilbey

  committed
  714445e

  Copy full SHA for 714445e

• Merge branch 'add-unbound-typevar-check' of github.com:AurelienJaquier/mypy into unbound

  anilbey

  committed
  595ec8c

  Copy full SHA for 595ec8c

• lint fix

  anilbey

  committed
  db501a9

  Copy full SHA for db501a9

• fix type error

  anilbey

  committed
  e31f967

  Copy full SHA for e31f967

• extract check_unbound_return_typevar as method

  anilbey

  committed
  951a54d

  Copy full SHA for 951a54d

• check if return type is instantiated in typ.variables

  anilbey

  committed
  b9b1561

  Copy full SHA for b9b1561

• Fix some tests that are affected by new implementation

  

  Jaquier Aurélien Tristan

  committed
  0335cc1

  Copy full SHA for 0335cc1

• Merge branch 'add-unbound-typevar-check' of https://github.com/AurelienJaquier/mypy into add-unbound-typevar-check

  

  Jaquier Aurélien Tristan

  committed
  0cf8e93

  Copy full SHA for 0cf8e93

• add testInnerFunctionTypeVar test

  anilbey

  committed
  1ddf301

  Copy full SHA for 1ddf301

• fix testErrorCodeNeedTypeAnnotation test

  

  Jaquier Aurélien Tristan

  committed
  32c0c84

  Copy full SHA for 32c0c84

• add TYPE_VAR error code to unbound error failure

  anilbey

  committed
  1175d53

  Copy full SHA for 1175d53

• Merge branch 'add-unbound-typevar-check' of https://github.com/AurelienJaquier/mypy into add-unbound-typevar-check

  

  Jaquier Aurélien Tristan

  committed
  f1a27d1

  Copy full SHA for f1a27d1

• Fix the tests

  

  Jaquier Aurélien Tristan

  committed
  402a4e3

  Copy full SHA for 402a4e3

• move new tests in new test file

  

  Jaquier Aurélien Tristan

  committed
  34dc475

  Copy full SHA for 34dc475

Commits on Jul 18, 2022

• add 'check-typevar-unbound.test' to testcheck

  anilbey

  committed
  b78b926

  Copy full SHA for b78b926

• add more nested tests for unbound type

  anilbey

  committed
  ce9ceaf

  Copy full SHA for ce9ceaf

• microoptimise check_unbound_return_typevar check ret_type first

  anilbey

  committed
  64b1834

  Copy full SHA for 64b1834

• Merge branch 'master' into add-unbound-typevar-check

  ilevkivskyi

  authored
  0ff4b12

  Copy full SHA for 0ff4b12

• add missing builtins fixture to failing test

  anilbey

  committed
  4352bc3

  Copy full SHA for 4352bc3

• Merge branch 'add-unbound-typevar-check' of github.com:AurelienJaquier/mypy into unbound

  anilbey

  committed
  abb6f1c

  Copy full SHA for abb6f1c