You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Comments at the end of this if makes the then block to not get indented.
if (prd.source()
.isPresent()) // exclude generated productions like casts
prd = null;
Line 331. IntelliJ reports this as well.
I think the problem comes from the if condition that got split into two lines. If I move the comment to a separate line, then indentation works as expected.
The text was updated successfully, but these errors were encountered:
So I agree this isn't a good formatting and we'd probably prefer something like the following, but this is also low priority because it's already not following the style guide:
if (prd.source()
.isPresent()) // exclude generated productions like castsprd = null;
Comments at the end of this
if
makes thethen
block to not get indented.Line 331. IntelliJ reports this as well.
I think the problem comes from the if condition that got split into two lines. If I move the comment to a separate line, then indentation works as expected.
The text was updated successfully, but these errors were encountered: