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
The double colon is also highlighted in the former but not the latter.
EDIT: Also, if fields are highlighted specially on data type declaration, should they also be highlighted in pattern matches, and in record construction and update?