{"ast_node_type":"struct","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
    /// The leak checks as follows. First, we construct a graph where `R2: R1`
    ///
    /// implies `R2 -> R1`, and we compute the SCCs.