Missing newline with labeled block inside control flow

[munificent]

Labels are virtually unused, but they still need to be formatted correctly. If you format:

main() {
  if (c) L: {s;}
}

The formatter produces:

main() {
  if (c)   L:
    {
      s;
    }
}

The more indentation, the more spaces before the label, even though it doesn't put a newline there. So if you format:

main() {
  {
    {
      {
        if (c) L: {s;}
      }
    }
  }
}

You get:

main() {
  {
    {
      {
        if (c)         L:
          {
            s;
          }
      }
    }
  }
}

Similar behavior happens with loops:

main() {
  {
    {
      {
        for (;;) L: {s;}

        while (c) L: {s;}
      }
    }
  }
}

Produces:

main() {
  {
    {
      {
        for (;;)         L:
          {
            s;
          }

        while (c)         L:
          {
            s;
          }
      }
    }
  }
}

[munificent]

A labeled else block is also a little wonky, though honestly I'm not sure what the right output should be here:

Before:

main() {
  {
    {
      {
        if (c) {s;} else L: {s;}
      }
    }
  }
}

After:

main() {
  {
    {
      {
        if (c) {
          s;
        } else
          L:
          {
            s;
          }
      }
    }
  }
}

At least it does put the newline here. This formatting might be the best we can do.