`#[doc = "foo"]` is not a sugared comment, but pretty rare