[red-knot] Interned visibility constraints#15079

Draft

sharkdp wants to merge 65 commits intomainfrom david/interned-visibility-constraints

+2,994-753

Commits on Dec 20, 2024

[red-knot] Statically known branches
sharkdp
committed
Temporarily patch typeshed to avoid cycles
sharkdp
committed
Another patch to fix the sys.version_info tests
sharkdp
committed
Fix string annotation tests
sharkdp
committed
Reset symbol states after if-elif-else chains
sharkdp
committed
Add support for sys.platform
sharkdp
committed
Add tests for common use cases
sharkdp
committed
Fix match control flow
sharkdp
committed
Fix match control flow
sharkdp
committed
Fix boolean expression tests
sharkdp
committed
Clippy suggestions
sharkdp
committed
Update snapshots
sharkdp
committed
Fix serde feature compilation problem
sharkdp
committed
Add recursion limit hack
sharkdp
committed
Short circuit, increase threshold
sharkdp
committed
Renamings
sharkdp
committed
Introduce VisibilityConstraints struct
sharkdp
committed
Minor cleanup
sharkdp
committed
Refactoring
sharkdp
committed
Rename
sharkdp
committed
Further cleanup
sharkdp
committed
Rename, comment
sharkdp
committed
Refactor
sharkdp
committed
Reactivate symbol_state tests
sharkdp
committed
sys.platform documentation
sharkdp
committed
Clippy
sharkdp
committed
Fix fuzz build
sharkdp
committed
Extend sys.platform tests
sharkdp
committed
Implement if-expressions
sharkdp
committed
Fix boolean expressions
sharkdp
committed
Revert "Fix boolean expressions"
sharkdp
committed
Document current limitations
sharkdp
committed
Rename constraints
sharkdp
committed
Rename constraints
sharkdp
committed
Finally!!
sharkdp
committed
Minor renamings
sharkdp
committed
Clippy
sharkdp
committed
Fix doc comments
sharkdp
committed
Add cross-module test to show that result is based on type inference
sharkdp
committed
Rename
sharkdp
committed
Simplify iterators
sharkdp
committed
scope_start_visibility
sharkdp
committed
Rename to simplify_visibility_constraints
sharkdp
committed
Fix comment
sharkdp
committed
Update comment
sharkdp
committed
Handle ambiguous visibility, fix while-loop inference
sharkdp
committed
Clippy
sharkdp
committed
Fix tests after rebase
sharkdp
committed
Remove _iter suffix
sharkdp
committed
Store Expression<'db> inside VisibilityConstraint
sharkdp
committed
Use iterators instead of vec
sharkdp
committed
Short circuit if declared type is available
sharkdp
committed
Always build a union of inferred_ty and declared_ty
sharkdp
committed
Raise diagnostic for possibly-undeclared symbols
sharkdp
committed
Add section for yet-unsupported features
sharkdp
committed
Simplify code in simplify_visibility_constraints
sharkdp
committed
Use actual return values in dummy functions
sharkdp
committed
Use struct instead of three-tuple
sharkdp
committed
::default() instead of ::new()
sharkdp
committed
Minor review comments
sharkdp
committed
Use KnownModule
sharkdp
committed
Minor iterator changes
sharkdp
committed
More minor changes
sharkdp
committed
Revert possibly-unbound changes
sharkdp
committed
Interned visibility constraints
sharkdp
committed