Add then to if statements using new control syntax

[kpbochenek]

Hi,

I am working on scalameta parser and trying to reach a stage where we can finally parse whole dotty codebase and enable continuous integration, I am unsure if this syntax if condition <indented block> without then is supported but it is very hard to parse right now.

• as adding then doesn't change anything this should make no difference for you, correct?
• is this syntax officially supported or an artifact of previous experiments?

[dottybot]

Hello, and thank you for opening this PR! 🎉

All contributors have signed the CLA, thank you! ❤️

Have an awesome day! ☀️

[odersky]

The then should definitely be added. I was on the fence for a while whether we want to support it it the end find it is better not to. A possible exception (for now) is if the condition is in parentheses, i.e. old syntax. Then we still support indentation in order not to entangle if-then-else syntax style with optional braces. But that's not completely settled either.