{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"skip_leak_check:"}]}
            skip_leak_check: self.skip_leak_check,
            in_hir_typeck: self.in_hir_typeck,
            inner: self.inner.clone(),