{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"if"}]}
        if ty.is_inhabited_from(self.ir.tcx, m, self.typing_env) {
        let m = self.ir.tcx.parent_module(expr.hir_id).to_def_id();
            return succ;