def METHOD_NAME(self) -> None:
    fx = self.fx
    assert set(
        infer_constraints(
            Instance(fx.gvi, [UnpackType(Instance(fx.std_tuplei, [fx.t]))]),
            Instance(fx.gvi, [fx.a, fx.b]),
            SUPERTYPE_OF,
        )
    ) == {
        Constraint(type_var=fx.t, op=SUPERTYPE_OF, target=fx.a),
        Constraint(type_var=fx.t, op=SUPERTYPE_OF, target=fx.b),
    }