Spotted by Coverity Scan: if we have a reservation, it must be the last
workspace allocation, so there must be one.