def METHOD_NAME(self) -> None:
    fx = self.fx
    assert set(
        infer_constraints(
            Instance(fx.gv2i, [fx.t, UnpackType(fx.ts), fx.s]),
            Instance(fx.gv2i, [fx.a, fx.b, fx.c, fx.d]),
            SUPERTYPE_OF,
        )
    ) == {
        Constraint(type_var=fx.t, op=SUPERTYPE_OF, target=fx.a),
        Constraint(
            type_var=fx.ts, op=SUPERTYPE_OF, target=TupleType([fx.b, fx.c], fx.std_tuple)
        ),
        Constraint(type_var=fx.s, op=SUPERTYPE_OF, target=fx.d),
    }