-
Notifications
You must be signed in to change notification settings - Fork 2k
Closed
Labels
tyMulti-file analysis & type inferenceMulti-file analysis & type inference
Description
This is a roadmap of features and // TODO to mark compare expression as complete in astral-sh/ty#244.
- Infer chained comparisons
- Type pairs comparisons
- IntLiteral
- BooleanLiteral
- StringLiteral
- LiteralString
- [red-knot] Compare expression inference - BytesLiteral #13687
- [red-knot] Compare expression inference - Tuple #13688
- [red-knot] Compare expression inference - Intersection #13854
- [red-knot] Compare expression inference - Union #13779
- Instances / Classes (includes most other types that are instances of
object) [red-knot] Compare expression inference - Instance (+ Rich Comparison, Membership Test) #13872
- rich comparison (
__dunder__) algorithm- Bug with defined method but other type that don't match the signature (Note from Alex: this should "fix itself" naturally when we start checking arguments passed to functions/methods)
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
tyMulti-file analysis & type inferenceMulti-file analysis & type inference