{"ast_node_type":"function","tokens":[{"end":98,"kind":"keyword","start":0,"text":"fn"}]}
    fn checked_return(&mut self, opt_expr: Option<&'hir hir::Expr<'hir>>) -> hir::ExprKind<'hir> {
    /// a contract ensures clause, if it exists.
        let checked_ret =