Make [@annot:] mean no annotation
type:changed
Changelog details:
Make [@annot:] mean no annotation
An empty annotation attribute ([@annot:]) on record fields and variant cases now means that there will be no annotation at all. Previously, it was ignored, and the field/case name would be used as usual.
Edited by Tom Jack