search

JetBrains / intellij-arend

Arend plugin for IntelliJ IDEA
Apache License 2.0
90 stars 12 forks source link

Constructors without parameters are not highlighted properly. #495

Closed sxhya closed 6 months ago

sxhya commented 6 months ago

There seems to be a regression in the behaviour of Arend highlighter (constructors without parameters should also be highlighted with purple color).

Behaviour right now: image

Behavior when this feature was implemented in PR https://github.com/JetBrains/intellij-arend/pull/379