We're trying to produce a vector<int>. If we're given an IValue list of symint, we are done, traditional conversion works. If we are given an IValue list of int, we must convert the int into symint to produce the vector<SymInt>.