逐步约束不会传播到嵌套类型变量

形式为 `Any <: tuple[T]` 的可分配性检查目前会迫不及待地求值为 `true`，而不会对嵌套类型变量 `T` 施加任何约束。这可能导致约束求解器在存在推断证据的情况下仍回退到 `Unknown`。