Douglas Creager 5e9259c96c Don't special-case class instances in binary expression inference (#15161) ...

Just like in #15045 for unary expressions: In binary expressions, we
were only looking for dunder expressions for `Type::Instance` types. We
had some special cases for coercing the various `Literal` types into
their corresponding `Instance` types before doing the lookup. But we can
side-step all of that by using the existing `Type::to_meta_type` and
`Type::to_instance` methods.

2025-01-06 13:50:20 -05:00

..

annotations

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

assignment

Allow assigning ellipsis literal as parameter default value (#14982)

2025-01-05 13:11:32 -06:00

binary

Don't special-case class instances in binary expression inference (#15161)

2025-01-06 13:50:20 -05:00

boolean

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

call

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

comparison

[red-knot] More precise inference for chained boolean expressions (#15089)

2024-12-22 10:02:28 -08:00

conditional

[red-knot] fix control flow for assignment expressions in elif tests (#15274)

2025-01-05 18:35:29 +00:00

declaration

[red-knot] Avoid undeclared path when raising conflicting declarations (#14958)

2024-12-17 09:49:39 +05:30

exception

[red-knot] Report invalid exceptions (#15042)

2024-12-18 18:31:24 +00:00

expression

[red-knot] More precise inference for chained boolean expressions (#15089)

2024-12-22 10:02:28 -08:00

function

[red-knot] function parameter types (#14802)

2024-12-06 12:55:56 -08:00

import

Prioritize attribute in from/import statement (#15041)

2024-12-17 16:58:23 -05:00

literal

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

loops

[red-knot] Tests for 'while' loop boundness (#14944)

2024-12-12 21:06:56 +01:00

narrow

[red-knot] Minor simplifications and improvements to constraint narrowing logic (#15270)

2025-01-05 21:51:22 +00:00

regression

[red-knot] Do not attach diagnostics to wrong file (#14337)

2024-11-14 15:39:51 +01:00

scopes

Sync vendored typeshed stubs (#14977)

2024-12-15 01:02:41 +00:00

shadowing

Test explicit shadowing involving defs (#15174)

2024-12-29 00:47:03 +00:00

stubs

Allow assigning ellipsis literal as parameter default value (#14982)

2025-01-05 13:11:32 -06:00

subscript

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

suppressions

@no_type_check support (#15122)

2024-12-30 09:42:18 +00:00

type_of

Bind top-most parent when importing nested module (#14946)

2024-12-16 16:15:40 -05:00

unary

Don't special-case class instances in binary expression inference (#15161)

2025-01-06 13:50:20 -05:00

with

[red-knot] Cleanup various todo_type!() messages (#15063)

2024-12-19 13:03:41 +00:00

.mdformat.toml

[red-knot] have mdformat wrap mdtest files to 100 columns (#14020)

2024-10-31 21:00:51 +00:00

attributes.md

[red-knot] Reduce TODOs in Type::member() (#15066)

2024-12-19 15:54:01 +00:00

final.md

[red-knot] Add support for @final classes (#15070)

2024-12-19 21:02:14 +00:00

generics.md

[red-knot] Add infrastructure to declare lints (#14873)

2024-12-10 16:14:44 +00:00

invalid_syntax.md

[red-knot] Separate invalid syntax code snippets (#14803)

2024-12-06 02:41:33 +00:00

known_constants.md

[red-knot] Support typing.TYPE_CHECKING (#14952)

2024-12-13 09:24:48 +00:00

mdtest_config.md

Rename custom-typeshed-dir, target-version and current-directory CLI options (#14930)

2024-12-13 08:21:52 +00:00

metaclass.md

[red-knot] Use type[Unknown] rather than Unknown as the fallback metaclass for invalid classes (#14961)

2024-12-13 19:48:51 +00:00

mro.md

[red-knot] Add infrastructure to declare lints (#14873)

2024-12-10 16:14:44 +00:00

pep695_type_aliases.md

[red-knot] mdtest: python version requirements (#14954)

2024-12-13 10:40:38 +01:00

slots.md

Don't special-case class instances in binary expression inference (#15161)

2025-01-06 13:50:20 -05:00

statically_known_branches.md

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

sys_platform.md

[red-knot] Statically known branches (#15019)

2024-12-21 11:33:10 +01:00

sys_version_info.md

Rename custom-typeshed-dir, target-version and current-directory CLI options (#14930)

2024-12-13 08:21:52 +00:00

unpacking.md

[red-knot] Add diagnostic for invalid unpacking (#15086)

2024-12-30 13:10:29 +05:30