according to https://www.dartlang.org/articles/doc-comment-guidelines/
"Avoid code font unless it’s (1) a big chunk of code or (2) necessary to prevent confusion."
neither applies here.  i asked someone on the dart library team to confirm that i'm not misinterpreting and he said that he has been scolded for trying to add such markup and we shouldn't go crazy using code font for everything.