In this case, the assert_type() call of assert_type(pd.IndexSlice[ind, :], tuple["pd.Index[int]", slice]) works with mypy 1.13, fails with the 1.14 dev version. This is due to a change in typeshed ...