LSP server

• Look up attributes on metaclasses for Go to Definition (#22758)
• Suppress type inlay hints for leading-underscore assignments (#22855)

Configuration

• Add allowed-unresolved-imports setting (#22800)

Other changes

• Add assert-type-unspellable-subtype diagnostic, for failed assert_type() where the actual type is a subtype of the named type that can't be spelled in a type expression (#22815)
• Add a new empty-body return code for functions with stub bodies that have non-None return annotations (#22846)
• Add diagnostic disambiguation for different type aliases with the same name (#22852)
• Add support for dict literals and dict() calls as default values for parameters with TypedDict types (#22161)
• Add support for subscripts on intersections (#22654)
• Avoid duplicate syntax errors for await outside functions (#22826)
• Emit an error if the same type parameter appears more than once in a Generic[] subscript (#22738)
• Emit diagnostic for unimplemented abstract method on @final class (#22753)
• Fix GitLab Code Quality output format for empty diagnostics (#22833)
• Fix assignment in decorated method causing Unknown fallback (#22778)
• Fix false negative when using a non-runtime-checkable protocol in a match class pattern (#22836)
• Improve completion rankings for raise-from/except contexts (#22775)
• Improve invalid assignment diagnostics with type context (#22643)
• Improve support for kwarg splats in dictionary literals (#22781)
• Infer TypedDict types with >=1 required key as being always truthy (#22808)
• Point to an overload with an invalid @final decoator when emitting invalid-overload errors for invalid @final decorators (#22812)
• Require both *args and **kwargs when calling a ParamSpec callable (#22820)
• Stricter validation of TypedDict definitions (#22811)
• Support recursive and stringified annotations in functional typing.NamedTuples (#22718)
• Support solving generics involving PEP 695 type aliases (#22678)
• Use a more lenient fallback type for failed namedtuple() and NamedTuple calls (#22765)
• Use type context from augmented assignment dunder calls (#22540)
• Check that starred arguments in function calls are iterable (#22805)

Contributors

• @AlexWaygood
• @maifeeulasad
• @RasmusNygren
• @ntBre
• @Imbuzi
• @dhruvmanila
• @ibraheemdev
• @carljm
• @Hugo-Polloli
• @charliermarsh
• @MichaReiser
• @bxff
• @felixscherz
• @denyszhak

Install ty 0.0.14

Install prebuilt binaries via shell script

curl --proto '=https' --tlsv1.2 -LsSf https://github.com/astral-sh/ty/releases/download/0.0.14/ty-installer.sh | sh

Install prebuilt binaries via powershell script

powershell -ExecutionPolicy Bypass -c "irm https://github.com/astral-sh/ty/releases/download/0.0.14/ty-installer.ps1 | iex"

Download ty 0.0.14

| File | Platform | Checksum | |--------|----------|----------| | ty-aarch64-apple-darwin.tar.gz | Apple Silicon macOS | checksum | | ty-x86_64-apple-darwin.tar.gz | Intel macOS | checksum | | ty-aarch64-pc-windows-msvc.zip | ARM64 Windows | checksum | | ty-i686-pc-windows-msvc.zip | x86 Windows | checksum | | ty-x86_64-pc-windows-msvc.zip | x64 Windows | checksum | | ty-aarch64-unknown-linux-gnu.tar.gz | ARM64 Linux | checksum | | ty-i686-unknown-linux-gnu.tar.gz | x86 Linux | checksum | | ty-powerpc64-unknown-linux-gnu.tar.gz | PPC64 Linux | checksum | | ty-powerpc64le-unknown-linux-gnu.tar.gz | PPC64LE Linux | checksum | | ty-s390x-unknown-linux-gnu.tar.gz | S390x Linux | checksum | | ty-x86_64-unknown-linux-gnu.tar.gz | x64 Linux | checksum | | ty-armv7-unknown-linux-gnueabihf.tar.gz | ARMv7 Linux | checksum | | ty-aarch64-unknown-linux-musl.tar.gz | ARM64 MUSL Linux | checksum | | ty-i686-unknown-linux-musl.tar.gz | x86 MUSL Linux | checksum | | ty-x86_64-unknown-linux-musl.tar.gz | x64 MUSL Linux | checksum | | ty-arm-unknown-linux-musleabihf.tar.gz | ARMv6 MUSL Linux (Hardfloat) | checksum | | ty-armv7-unknown-linux-musleabihf.tar.gz | ARMv7 MUSL Linux | checksum |