syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// a `DefId` from a different crate would signify a bug somewhere. This
context_before: /// few cases where we know that only `DefId`s from the local crate are expected;
context_after: /// is when `LocalDefId` comes in handy.