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