diff options
| author | Ralf Jung <post@ralfj.de> | 2025-03-11 07:07:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-03-11 07:07:31 +0000 |
| commit | fe5235ee0f90f41d6a10cc68e4f1adc3fed45235 (patch) | |
| tree | 8ed0a4f28637b7609ac6771ecf499f8f2445a52b /compiler/rustc_errors/src/styled_buffer.rs | |
| parent | 5533da2d9f628c161598c74901c2740689d9a2df (diff) | |
| parent | 4f2a03c011dce98a354bf1947814ea9b428d0f1b (diff) | |
| download | rust-fe5235ee0f90f41d6a10cc68e4f1adc3fed45235.tar.gz rust-fe5235ee0f90f41d6a10cc68e4f1adc3fed45235.zip | |
Merge pull request #4224 from rust-lang/rustup-2025-03-11
Automatic Rustup
Diffstat (limited to 'compiler/rustc_errors/src/styled_buffer.rs')
| -rw-r--r-- | compiler/rustc_errors/src/styled_buffer.rs | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/compiler/rustc_errors/src/styled_buffer.rs b/compiler/rustc_errors/src/styled_buffer.rs index 5ca9e9b18f3..790efd0286e 100644 --- a/compiler/rustc_errors/src/styled_buffer.rs +++ b/compiler/rustc_errors/src/styled_buffer.rs @@ -89,6 +89,19 @@ impl StyledBuffer { } } + pub(crate) fn replace(&mut self, line: usize, start: usize, end: usize, string: &str) { + if start == end { + return; + } + if start > self.lines[line].len() || end > self.lines[line].len() { + return; + } + let _ = self.lines[line].drain(start..(end - string.chars().count())); + for (i, c) in string.chars().enumerate() { + self.lines[line][start + i] = StyledChar::new(c, Style::LineNumber); + } + } + /// For given `line` inserts `string` with `style` before old content of that line, /// adding lines if needed pub(crate) fn prepend(&mut self, line: usize, string: &str, style: Style) { |
