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

format

This commit is contained in:
Douglas Creager 2025-12-11 15:22:01 -05:00
parent 438de79a6b
commit fe25ee2046
1 changed files with 1 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/ty_python_semantic/src/types.rs
View File

@ -1916,11 +1916,7 @@ impl<'db> Type<'db> {
/// This uses `TypeRelation::ConstraintSetAssignability`, which encodes typevar relations into /// This uses `TypeRelation::ConstraintSetAssignability`, which encodes typevar relations into
/// a constraint set and lets `satisfied_by_all_typevars` perform existential vs universal /// a constraint set and lets `satisfied_by_all_typevars` perform existential vs universal
/// reasoning depending on inferable typevars. /// reasoning depending on inferable typevars.
pub fn is_constraint_set_assignable_to( pub fn is_constraint_set_assignable_to(self, db: &'db dyn Db, target: Type<'db>) -> bool {
self,
db: &'db dyn Db,
target: Type<'db>,
) -> bool {
self.when_constraint_set_assignable_to(db, target, InferableTypeVars::None) self.when_constraint_set_assignable_to(db, target, InferableTypeVars::None)
.is_always_satisfied(db) .is_always_satisfied(db)
} }