The dartfmt bug is solved. dartfmt keeps the annotation where it was (above or in front of)