{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"self.with_ty_lowering("}]}
        self.with_ty_lowering(
    fn with_body_ty_lowering<R>(&mut self, f: impl FnOnce(&mut TyLoweringContext<'_>) -> R) -> R {
            self.body,