We currently don't have support for labels on `while` loops. We should probably mention that this just works on `for` loops. #12643