This lets type checking assume that the continuation does have a DEST, and also avoids some unnecessary work.