From b294a94bf235924dfa03d06beb0447cbcac4186f Mon Sep 17 00:00:00 2001 From: Douglas Creager Date: Wed, 12 Nov 2025 09:40:27 -0500 Subject: [PATCH] BLEGH --- .../resources/mdtest/generics/legacy/variables.md | 1 + crates/ty_python_semantic/src/types.rs | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/crates/ty_python_semantic/resources/mdtest/generics/legacy/variables.md b/crates/ty_python_semantic/resources/mdtest/generics/legacy/variables.md index f79cf6f826..39dfe24ed0 100644 --- a/crates/ty_python_semantic/resources/mdtest/generics/legacy/variables.md +++ b/crates/ty_python_semantic/resources/mdtest/generics/legacy/variables.md @@ -458,6 +458,7 @@ class Event(Generic[_DataT]): def async_fire_internal(event_data: _DataT): event: Event[_DataT] | None = None + reveal_type(Event(event_data)) event = Event(event_data) ``` diff --git a/crates/ty_python_semantic/src/types.rs b/crates/ty_python_semantic/src/types.rs index 1bb5388555..9fa5e23bfe 100644 --- a/crates/ty_python_semantic/src/types.rs +++ b/crates/ty_python_semantic/src/types.rs @@ -1847,8 +1847,7 @@ impl<'db> Type<'db> { // the union of its constraints. An unbound, unconstrained, fully static typevar has an // implicit upper bound of `object` (which is handled above). (Type::TypeVar(bound_typevar), _) - if !bound_typevar.is_inferable(db, inferable) - && bound_typevar.typevar(db).bound_or_constraints(db).is_some() => + if bound_typevar.typevar(db).bound_or_constraints(db).is_some() => { match bound_typevar.typevar(db).bound_or_constraints(db) { None => unreachable!(),