David Peter
|
3dde382236
|
Use struct instead of three-tuple
|
2024-12-20 09:32:09 +01:00 |
|
David Peter
|
025804e548
|
Simplify code in simplify_visibility_constraints
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
0b70c1c159
|
Raise diagnostic for possibly-undeclared symbols
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
89fefe0164
|
Always build a union of inferred_ty and declared_ty
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
c0e7c08705
|
Short circuit if declared type is available
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
402f2792ea
|
Use iterators instead of vec
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
4353730913
|
Store Expression<'db> inside VisibilityConstraint
|
2024-12-20 09:18:08 +01:00 |
|
David Peter
|
f9f461540c
|
Remove _iter suffix
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
22e345abc9
|
Clippy
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
c9eb782d57
|
Handle ambiguous visibility, fix while-loop inference
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
47bb571b4d
|
Update comment
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
090563e4a6
|
Fix comment
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
b37f095f6d
|
Rename to simplify_visibility_constraints
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
91fa462fba
|
scope_start_visibility
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
167337b647
|
Simplify iterators
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
c3d3437846
|
Rename
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
32390f3710
|
Fix doc comments
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
0c6c0ee529
|
Clippy
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
2beabc61c2
|
Minor renamings
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
c5e32d937e
|
Finally!!
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
2bbd586725
|
Rename constraints
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
6c64ae0c05
|
Rename constraints
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
55330c4ed7
|
Revert "Fix boolean expressions"
This reverts commit 79a1b6bb52230705c10fe668093316c16444f953.
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
8b60946875
|
Fix boolean expressions
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
d249801bf2
|
Implement if-expressions
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
81bfc5227b
|
Clippy
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
9a1d1ea33b
|
sys.platform documentation
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
12f139df87
|
Reactivate symbol_state tests
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
8a93a9a55a
|
Refactor
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
2e6f757456
|
Rename, comment
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
853e171ed1
|
Further cleanup
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
afe1572d7f
|
Rename
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
79b582c584
|
Refactoring
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
5df51f26cc
|
Minor cleanup
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
4f6fba2cab
|
Introduce VisibilityConstraints struct
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
3a1dbc182f
|
Renamings
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
90e639bd20
|
Short circuit, increase threshold
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
e044fde784
|
Add recursion limit hack
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
a37dac1b41
|
Fix serde feature compilation problem
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
e871ea19e7
|
Fix boolean expression tests
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
2b12c496ff
|
Fix match control flow
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
c28bcdbc20
|
Fix match control flow
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
3d85c7d09c
|
Add support for sys.platform
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
76e277b02a
|
Reset symbol states after if-elif-else chains
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
2042c687b1
|
Fix string annotation tests
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
7b79a56ea6
|
Another patch to fix the sys.version_info tests
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
34be5b6b00
|
Temporarily patch typeshed to avoid cycles
|
2024-12-20 09:18:07 +01:00 |
|
David Peter
|
e8cfb341f2
|
[red-knot] Statically known branches
|
2024-12-20 09:18:07 +01:00 |
|
Alex Waygood
|
3aed14935d
|
[red-knot] Add support for @final classes (#15070)
Co-authored-by: Carl Meyer <carl@astral.sh>
|
2024-12-19 21:02:14 +00:00 |
|
Alex Waygood
|
bcec5e615b
|
[red-knot] Rename and rework the CoreStdlibModule enum (#15071)
|
2024-12-19 20:59:00 +00:00 |
|