We can make this work if we always transition the structure during a prototype change. This is sort of weird in the case of poly proto, since it doesn't really need a transition, but it's probably rare enough that we don't care.