{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"self.propagate_through_expr(expr,"}]}
                self.propagate_through_expr(expr, succ)
                let succ = self.check_is_ty_uninhabited(expr, succ);
            }