Because we elide the render pass but rely on the render pass to transition to shader read, this never leaves undefined state. For an example, see the large image changer app part of macrobenchmarks.