Code

Narrow is with final types correctly#6

Code

Open

arvi18 wants to merge 5 commits intomastercoderabbit-test/mypy:masterfrom

clone-issue-15553coderabbit-test/mypy:clone-issue-15553Copy head branch name to clipboard

Commits

Commits on Jul 12, 2023

• Narrow `is` with final types correctly

  sobolevn

  committed
  99d4465

  Copy full SHA for 99d4465

• [pre-commit.ci] auto fixes from pre-commit.com hooks

  Show description for 0076ae8
  pre-commit-ci[bot]

  committed
  0076ae8

  Copy full SHA for 0076ae8

• Address primer output

  sobolevn

  committed
  a0308bc

  Copy full SHA for a0308bc

Commits on Oct 17, 2024

• Merge branch 'master' into issue-15553

  hauntsaninja

  authored
  2fcace1

  Copy full SHA for 2fcace1

• Update test-data/unit/check-narrowing.test

  hauntsaninja

  authored
  2372c12

  Copy full SHA for 2372c12