When can this happen? Currently this branch says "unreachable".