mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-11-18 11:41:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

fix docs

Browse source
This commit is contained in:
Douglas Creager 2025-11-17 14:57:46 -05:00
parent b700a3124b
commit a87c3d9ec8
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1195,7 +1195,7 @@ impl<'db> Node<'db> {
/// this method, other than to stop tracking the domain (which was never used for display
/// purposes). That means we have some tech debt here, since there is a lot of duplicate logic
/// between `simplify_for_display` and `SequentMap`. It would be nice to update our display
/// logic to use the sequenet map as much as possible. But that can happen later.
/// logic to use the sequent map as much as possible. But that can happen later.
fn simplify_for_display(self, db: &'db dyn Db) -> Self {
match self {
Node::AlwaysTrue | Node::AlwaysFalse => self,
@ -2012,7 +2012,7 @@ struct SequentMap<'db> {
/// Sequents of the form `C₁ ∧ C₂ → D`
pair_implications:
FxHashMap<(ConstrainedTypeVar<'db>, ConstrainedTypeVar<'db>), Vec<ConstrainedTypeVar<'db>>>,
/// Sequents of the form `C₁ ∧ C₂ → D`
/// Sequents of the form `C → D`
single_implications: FxHashMap<ConstrainedTypeVar<'db>, Vec<ConstrainedTypeVar<'db>>>,
/// Constraints that we have already processed
processed: FxHashSet<ConstrainedTypeVar<'db>>,