{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"///"}]}
    ///   diverging, unsolved variable and finding all variables
    ///   diverging variable. Do this by iterating over each
    ///   reachable from there. Call that set `D`.