syntax_data: {"ast_node_type":"other","tokens":[{"end":7,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     ///
context_before:     /// in a basic block. Applies all effects between the given `EffectIndex`s.
context_after:     /// `effects.start()` must precede or equal `effects.end()` in this direction.