From 4531ea6103335b52de132e46553421d24c97e40a Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Tue, 25 Nov 2025 16:34:04 -0500 Subject: [PATCH] use T = * not AlwaysTrue --- crates/ty_python_semantic/src/types/constraints.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/ty_python_semantic/src/types/constraints.rs b/crates/ty_python_semantic/src/types/constraints.rs index ec38601431..2ca38664d4 100644 --- a/crates/ty_python_semantic/src/types/constraints.rs +++ b/crates/ty_python_semantic/src/types/constraints.rs @@ -3019,7 +3019,7 @@ impl<'db> BoundTypeVarInstance<'db> { // 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. 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)) => { let bound = bound.top_materialization(db); ConstrainedTypeVar::new_node(db, self, Type::Never, bound)