{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"table.propagate_diverging_flag();"}]}
        table.propagate_diverging_flag();
        // make sure diverging type variables are marked as such
        for ty in type_of_expr.values_mut() {