{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"&Expectation::has_type(self.return_ty.clone()),"}]}
                    &Expectation::has_type(self.return_ty.clone()),
                    self.body.body_expr,
                    ExprIsRead::Yes,