Fix #7421: Insert missing <outdent> tokens where a region ends

[odersky]

No description provided.

[odersky]

@smarter: No, it works with or without then.

[smarter]

I worry this might be too permissive, e.g. the following becomes valid:

    if (args.length > 0)
      1
      if (args.length > 1)
        2
      else 3 else 4

Maybe a warning recommending adding a new unindented line would be appropriate.

[smarter]

I worry this might be too permissive

Maybe we can restrict this by only calling in.observeOutdented() if the previous token was a closing brace ?

[odersky]

I worry this might be too permissive, e.g. the following becomes valid:

But why reject it?