TypeVarTuple should accept compatible tuple types when solving #2372

Describe the Bug

When a function uses the same TypeVarTuple for two parameters, pyrefly solves
from the first argument and rejects the second if it doesn't exactly match. It
should find a solution that satisfies both arguments. Since int <: float,
Ts should solve to (float,) and accept both.

  from typing import TypeVarTuple
  Ts = TypeVarTuple("Ts")
  def func2(arg1: tuple[*Ts], arg2: tuple[*Ts]) -> tuple[*Ts]: ...
  func2((0,), (0.0,))  # pyrefly rejects this, but should accept (int <: float)

Unittest:

pyrefly/lib/test/type_var_tuple.rs — test_typevartuple_compatible_tuple_types

Sandbox Link

No response

(Only applicable for extension issues) IDE Information

No response