syntax_data: {"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// "reservation" level.
context_before: /// Distinguished from [`ImplPolarity`] since we never compute goals with
context_after: #[derive(Clone, Copy, PartialEq, Eq, PartialOrd, Ord, Hash, Debug)]