{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            self.diverging_type_vars.borrow()
        debug!("calculate_diverging_fallback: diverging_roots={:?}", diverging_roots);