syntax_data: {"ast_node_type":"import","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// is on the stack above (and because of wellformedness is coinductive).
context_before:     /// The stack of terms that we assume to be well-formed because a `WF(term)` predicate
context_after:     /// In an "ideal" world, this would share a stack with trait predicates in