{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"///"}]}
    ///   any variable that has an edge into `D`.
    /// * Walk over all unsolved, non-diverging variables, and find
    fn calculate_diverging_fallback(