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