{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"}"}]}
            } else {
                Some(self.inject_ensures_check(expr, check_span, check_ident, check_hir_id))
                opt_expr