language-servers/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-09-29 05:15:12 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

[ty] Simplify Type::normalized slightly (#18339)

Browse source
This commit is contained in:
Alex Waygood 2025-05-27 19:08:59 +01:00 • committed by GitHub
parent 9ec4a178a4
commit e03e05d2b3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -1026,34 +1026,10 @@ impl<'db> Type<'db> {
Type::BoundSuper(bound_super) => Type::BoundSuper(bound_super.normalized(db)), Type::BoundSuper(bound_super) => Type::BoundSuper(bound_super.normalized(db)),
Type::GenericAlias(generic) => Type::GenericAlias(generic.normalized(db)), Type::GenericAlias(generic) => Type::GenericAlias(generic.normalized(db)),
Type::SubclassOf(subclass_of) => Type::SubclassOf(subclass_of.normalized(db)), Type::SubclassOf(subclass_of) => Type::SubclassOf(subclass_of.normalized(db)),
Type::TypeVar(typevar) => Type::TypeVar(typevar.normalized(db)),
Type::KnownInstance(known_instance) => { Type::KnownInstance(known_instance) => {
Type::KnownInstance(known_instance.normalized(db)) Type::KnownInstance(known_instance.normalized(db))
} }
Type::TypeVar(typevar) => match typevar.bound_or_constraints(db) {
Some(TypeVarBoundOrConstraints::UpperBound(bound)) => {
Type::TypeVar(TypeVarInstance::new(
db,
typevar.name(db).clone(),
typevar.definition(db),
Some(TypeVarBoundOrConstraints::UpperBound(bound.normalized(db))),
typevar.variance(db),
typevar.default_ty(db),
typevar.kind(db),
))
}
Some(TypeVarBoundOrConstraints::Constraints(union)) => {
Type::TypeVar(TypeVarInstance::new(
db,
typevar.name(db).clone(),
typevar.definition(db),
Some(TypeVarBoundOrConstraints::Constraints(union.normalized(db))),
typevar.variance(db),
typevar.default_ty(db),
typevar.kind(db),
))
}
None => self,
},
Type::LiteralString Type::LiteralString
| Type::AlwaysFalsy | Type::AlwaysFalsy
| Type::AlwaysTruthy | Type::AlwaysTruthy