This commit is contained in:
Alex Waygood 2025-09-28 18:39:18 +01:00
parent fd4d50424b
commit 59fe101cb8

View file

@ -757,7 +757,7 @@ impl<'db> VariableLengthTuple<Type<'db>> {
// (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);
}