syntax_data: {"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// Push onto `out` all the things that must outlive `'a` for the condition
context_after: /// `ty0: 'a` to hold. Note that `ty0` must be a **fully resolved type**.