Python
/
ruff
mirror of https://github.com/astral-sh/ruff
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

reword comment

This commit is contained in:
Douglas Creager 2025-12-09 14:29:22 -05:00
parent 78dc8962b5
commit eb98a22a9c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/ty_python_semantic/src/types/constraints.rs
View File

@ -497,8 +497,8 @@ impl<'db> ConstrainedTypeVar<'db> {
debug_assert_eq!(lower, lower.bottom_materialization(db));
debug_assert_eq!(upper, upper.top_materialization(db));
// It is not useful to have an upper bound be an intersection type, or a lower bound to be
// a union type. Both of those can be rewritten as simpler BDDs:
// It's not useful for an upper bound to be an intersection type, or for a lower bound to
// be a union type. Both of those can be rewritten as simpler BDDs:
//
// T ≤ α & β ⇒ (T ≤ α) ∧ (T ≤ β)
// T ≤ α & ¬β ⇒ (T ≤ α) ∧ ¬(T ≤ β)