Unexpected formatting of record updates

[heueristik]

The formatting is sometimes unexpected for record updates.

In the screenshot above, exampleLabel@Label{ is followed by 4 spaces and no linebreaks, which are normally enforced for records.

[janmasrovira]

is it possible to provide a self contained example?

[lukaszcz]

• Duplicate of https://github.com/anoma/juvix/issues/3089