{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
    /// Subtle: one tricky case that this code gets correct is as
    ///
    /// follows. If we know that `r_b: 'static`, then this function