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