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

use T = * not AlwaysTrue

This commit is contained in:
Douglas Creager 2025-11-25 16:34:04 -05:00
parent 2833f334c3
commit 4531ea6103
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/ty_python_semantic/src/types/constraints.rs
View File

@ -3019,7 +3019,7 @@ impl<'db> BoundTypeVarInstance<'db> {
// that _some_ valid specialization satisfies the constraint set, it's correct for us to // that _some_ valid specialization satisfies the constraint set, it's correct for us to
// return the range of valid materializations that we can choose from. // return the range of valid materializations that we can choose from.
match self.typevar(db).bound_or_constraints(db) { match self.typevar(db).bound_or_constraints(db) {
None => Node::AlwaysTrue, None => ConstrainedTypeVar::new_node(db, self, Type::Never, Type::object()),
Some(TypeVarBoundOrConstraints::UpperBound(bound)) => { Some(TypeVarBoundOrConstraints::UpperBound(bound)) => {
let bound = bound.top_materialization(db); let bound = bound.top_materialization(db);
ConstrainedTypeVar::new_node(db, self, Type::Never, bound) ConstrainedTypeVar::new_node(db, self, Type::Never, bound)