mypy
Narrowing for final type objects
#20661
Merged
Overview
Commits
1
Changes
View On GitHub

Narrowing for final type objects #20661

JukkaL merged 1 commit into python:master from hauntsaninja:narrow41
hauntsaninja
hauntsaninja Narrowing for final type objects
9b94ed4b
github-actions
JukkaL
JukkaL approved these changes on 2026-01-28
JukkaL JukkaL merged 596a288c into master 144 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum