{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"interp_ok(ImmTy::from_bool(res,"}]}
                interp_ok(ImmTy::from_bool(res, *self.tcx))
                };
            }