def METHOD_NAME(self) -> None:
    fx = self.fx
    assert not infer_constraints(
        TupleType([fx.t, fx.s], fallback=Instance(fx.std_tuplei, [fx.o])),
        Instance(fx.std_tuplei, [fx.a]),
        SUPERTYPE_OF,
    )