Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Typeshed regression in 0.940 #12339

Copy link
Copy link
Closed
@offbyone

Description

@offbyone
Issue body actions

Bug Report

Typeshed had an issue with message.pyi that was identified in python/typeshed#7019:

typeshed/stdlib/email/message.pyi:13: error: Cannot determine type of "Any" (diff)

This was resolved in python/typeshed#7022 on Jan 24, sometime after the mypy 0.931 tag was cut.

mypy 0.940 apparently has the broken commit in typeshed, though. When running our regular CI tests, we picked up the 0.940 upgrade to mypy, which started failing our type checks by adding that additional output. You can see the pre- and post- upgrade tests here:

Your Environment

  • Mypy version used: 0.940
  • Mypy command-line flags: n/a
  • Mypy configuration options from mypy.ini (and other config files): n/a
  • Python version used: Observed on 3.8.12 and 3.10.0, but github stop tests after some fail in a group, so probably all 3.8+
  • Operating system and version: Ubuntu and macOS

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugmypy got something wrongmypy got something wrong

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      Morty Proxy This is a proxified and sanitized view of the page, visit original site.