From eb98a22a9c9b29da5e2b461ee193c489e9efceb9 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Tue, 9 Dec 2025 14:29:22 -0500 Subject: [PATCH] reword comment --- crates/ty_python_semantic/src/types/constraints.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index e0a3edb3a7..b20d7d25e6 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -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 ≤ β)