diff --git a/crates/ty_python_semantic/src/types/tuple.rs b/crates/ty_python_semantic/src/types/tuple.rs index a1de40731b..cadea6a617 100644 --- a/crates/ty_python_semantic/src/types/tuple.rs +++ b/crates/ty_python_semantic/src/types/tuple.rs @@ -757,7 +757,7 @@ impl<'db> VariableLengthTuple> { // (or any other dynamic type), then the `...` is the _gradual choice_ of all // possible lengths. This means that `tuple[Any, ...]` can match any tuple of any // length. - if !relation.is_assignability() || !matches!(self.variable, Type::Dynamic(_)) { + if !relation.is_assignability() || !self.variable.is_dynamic() { return ConstraintSet::from(false); }