Mike Perlov e15419396c [red-knot] Fix Stack overflow in Type::bool (#15843) ...

## Summary

This PR adds `Type::call_bound` method for calls that should follow
descriptor protocol calling convention. The PR is intentionally shallow
in scope and only fixes #15672

Couple of obvious things that weren't done:

* Switch to `call_bound` everywhere it should be used
* Address the fact, that red_knot resolves `__bool__ = bool` as a Union,
which includes `Type::Dynamic` and hence fails to infer that the
truthiness is always false for such a class (I've added a todo comment
in mdtests)
* Doesn't try to invent a new type for descriptors, although I have a
gut feeling it may be more convenient in the end, instead of doing
method lookup each time like I did in `call_bound`

## Test Plan

* extended mdtests with 2 examples from the issue
* cargo neatest run

2025-02-04 12:40:07 -08:00

..

module_resolver

[red-knot] Support custom typeshed Markdown tests (#15683)

2025-01-23 12:36:38 +01:00

semantic_index

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints (#15861)

2025-02-04 14:32:11 -05:00

types

Preserve triple quotes and prefixes for strings (#15818)

2025-02-04 08:41:06 -05:00

util

[red-knot] Improve ergonomics for the PySlice trait (#13983)

2024-10-29 20:40:59 +00:00

ast_node_ref.rs

@no_type_check support (#15122)

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

db.rs

[red-knot] Rename TestDbBuilder::typeshed to .custom_typeshed (#15712)

2025-01-24 10:25:23 +00:00

lib.rs

[red-knot] Rename *_ty functions (#15617)

2025-01-22 09:06:56 +01:00

lint.rs

[red-knot] Add --ignore, --warn, and --error CLI arguments (#15689)

2025-01-24 16:20:15 +01:00

module_name.rs

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

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

node_key.rs

[red-knot] Use memory address as AST node key (#14317)

2024-11-13 14:35:54 +01:00

program.rs

[red-knot] Support custom typeshed Markdown tests (#15683)

2025-01-23 12:36:38 +01:00

python_platform.rs

Remove workspace support (#15472)

2025-01-15 09:03:38 +01:00

python_version.rs

Add tracing support to mdtest (#14935)

2024-12-13 09:10:01 +00:00

semantic_index.rs

[red-knot] Internal refactoring of visibility constraints API (#15913)

2025-02-03 15:13:09 -05:00

semantic_model.rs

[red-knot] Rename *_ty functions (#15617)

2025-01-22 09:06:56 +01:00

site_packages.rs

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

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

stdlib.rs

[red-knot] Rename and rework the CoreStdlibModule enum (#15071)

2024-12-19 20:59:00 +00:00

suppression.rs

[red-knot] Add --ignore, --warn, and --error CLI arguments (#15689)

2025-01-24 16:20:15 +01:00

symbol.rs

[red-knot] Use Unknown | T_inferred for undeclared public symbols (#15674)

2025-01-24 12:47:48 +01:00

types.rs

[red-knot] Fix Stack overflow in Type::bool (#15843)

2025-02-04 12:40:07 -08:00

unpack.rs

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

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

visibility_constraints.rs

[red-knot] Use ternary decision diagrams (TDDs) for visibility constraints (#15861)

2025-02-04 14:32:11 -05:00