syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// In an "ideal" world, this would share a stack with trait predicates in
context_before:     /// is on the stack above (and because of wellformedness is coinductive).
context_after:     /// `TraitObligationStack`. However, trait predicates are *much* hotter than