From f853aad5e97d05755815dd99fd96dd9702ccf034 Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Fri, 14 Nov 2025 16:56:28 -0500 Subject: [PATCH] this is no longer true --- crates/ty_python_semantic/src/types/constraints.rs | 3 --- 1 file changed, 3 deletions(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index 07df513540..d3ff9be058 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -1999,9 +1999,6 @@ impl<'db> ConstraintAssignment<'db> { /// /// - `C → D`: This indicates that `C` on its own is enough to imply `D`. Any path that assumes `C` /// holds but `D` does _not_ is impossible and can be pruned. -/// -/// XXX: Note that `C`, `C₁`, `C₂`, and `D` are all [`ConstraintAssignment`]s, which means that they can -/// check whether a [`ConstrainedTypeVar`] is true or false. #[derive(Clone, Debug, Default)] #[derive(Debug, Default, Eq, PartialEq, get_size2::GetSize, salsa::Update)] struct SequentMap<'db> { /// Sequents of the form `C₁ ∧ C₂ → false`