syntax_data: {"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// following invariant:
context_before: /// does not reach fixpoint. To guarantee convergence, your transfer functions must maintain the
context_after: ///