syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// it will now be bound at INNERMOST. This is an appropriate thing to do
context_before:     /// innermost binder. That is, if we have something bound at `to_binder`,
context_after:     /// when moving a region out from inside binders: