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)