I was wondering which assumption of standard existence theorems this violates.
None. An equilibrium exists (defined by the starting allocation), it is merely not in the interior of the set. The existence theorems I know make no such guarantees.
I guess this is the assumption that preferences are convex?
The preferences in the example are convex.