{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"///"}]}
    /// The effect of a successful function call return should not be
    /// applied here, see [`Analysis::apply_primary_terminator_effect`].