mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-09-29 13:24:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

check valid specs in is_foo

Browse source
This commit is contained in:
Douglas Creager 2025-09-16 20:45:56 -04:00
parent 0648762432
commit 2210bc98b7
1 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

12
crates/ty_python_semantic/src/types.rs
View file

@ -1446,7 +1446,11 @@ impl<'db> Type<'db> {
/// intersection simplification dependent on the order in which elements are added), so we do /// intersection simplification dependent on the order in which elements are added), so we do
/// not use this more general definition of subtyping. /// not use this more general definition of subtyping.
pub(crate) fn is_subtype_of(self, db: &'db dyn Db, target: Type<'db>) -> bool { pub(crate) fn is_subtype_of(self, db: &'db dyn Db, target: Type<'db>) -> bool {
self.when_subtype_of(db, target).is_always_satisfied() let valid_specializations =
(self.valid_specializations(db)).and(db, || target.valid_specializations(db));
valid_specializations
.implies(db, || self.when_subtype_of(db, target))
.is_always_satisfied()
} }
/// Return the constraints under which this type is a [subtype of] type `target`. (See /// Return the constraints under which this type is a [subtype of] type `target`. (See
@ -1470,7 +1474,11 @@ impl<'db> Type<'db> {
/// ///
/// [assignable to]: https://typing.python.org/en/latest/spec/concepts.html#the-assignable-to-or-consistent-subtyping-relation /// [assignable to]: https://typing.python.org/en/latest/spec/concepts.html#the-assignable-to-or-consistent-subtyping-relation
pub(crate) fn is_assignable_to(self, db: &'db dyn Db, target: Type<'db>) -> bool { pub(crate) fn is_assignable_to(self, db: &'db dyn Db, target: Type<'db>) -> bool {
self.when_assignable_to(db, target).is_always_satisfied() let valid_specializations =
(self.valid_specializations(db)).and(db, || target.valid_specializations(db));
valid_specializations
.implies(db, || self.when_assignable_to(db, target))
.is_always_satisfied()
} }
/// Returns the constraints under which this type is [assignable to] type `target`. /// Returns the constraints under which this type is [assignable to] type `target`.