{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"}"}]}
        } else if self.ui_testing || cfg!(miri) {
            width.saturating_sub(code_offset)
            DEFAULT_COLUMN_WIDTH