{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"with(|context|"}]}
        with(|context| {
    ) -> Result<Instance, Error> {
            context.resolve_closure(def, args, kind).ok_or_else(|| {