5 Commits

Author	SHA1	Message	Date
cake-monotone	270318c2e0	[red-knot] fix: improve type inference for binary ops on tuples (#16725) ... ## Summary This PR includes minor improvements to binary operation inference, specifically for tuple concatenation. ### Before ```py reveal_type((1, 2) + (3, 4)) # revealed: @Todo(return type of decorated function) # If TODO is ignored, the revealed type would be `tuple[1|2|3|4, ...]` ``` The `builtins.tuple` type stub defines `__add__`, but it appears to only work for homogeneous tuples. However, I think this limitation is not ideal for many use cases. ### After ```py reveal_type((1, 2) + (3, 4)) # revealed: tuple[Literal[1], Literal[2], Literal[3], Literal[4]] ``` ## Test Plan ### Added - `mdtest/binary/tuples.md` ### Affected - `mdtest/slots.md` (a test have been moved out of the `False-Negative` block.)	2025-03-14 12:29:57 +01:00
David Peter	141ba253da	[red-knot] Add support for `@classmethod`s (#16305) ... ## Summary Add support for `@classmethod`s. ```py class C: @classmethod def f(cls, x: int) -> str: return "a" reveal_type(C.f(1)) # revealed: str ``` ## Test Plan New Markdown tests	2025-02-24 09:55:34 +01:00
David Peter	1feb3cf41a	[red-knot] Use `Unknown | T_inferred` for undeclared public symbols (#15674) ... ## Summary Use `Unknown | T_inferred` as the type for *undeclared* public symbols. ## Test Plan - Updated existing tests - New test for external `__slots__` modifications. - New tests for external modifications of public symbols.	2025-01-24 12:47:48 +01:00
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
InSync	8d2d1a73c5	[red-knot] Report classes inheriting from bases with incompatible `__slots__` (#15129)	2024-12-27 11:43:48 +00:00