Code

Check return types#615

Code

Merged

bakkot merged 6 commits intomaintc39/ecmarkup:mainfrom check-return-typestc39/ecmarkup:check-return-typesCopy head branch name to clipboardSep 22, 2024

+628-136

Commits

Commits on Sep 22, 2024

• check return types

  bakkot

  committed
  1bfa658

  Copy full SHA for 1bfa658

• handle abstract closures

  bakkot

  committed
  61b87ee

  Copy full SHA for 61b87ee

• add attribute for skipping return checks

  bakkot

  committed
  2c75261

  Copy full SHA for 2c75261

• fixup after rebase

  bakkot

  committed
  21e92ad

  Copy full SHA for 21e92ad

• address comments

  bakkot

  committed
  239c00a

  Copy full SHA for 239c00a

• make skip-return-checks xfail

  bakkot

  committed
  5741bfc

  Copy full SHA for 5741bfc