{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"diverge"}]}
                        diverge = false;
                        self.demand_suptype(block.span, self.tcx.types.unit, ty);
                    }