about summary refs log tree commit diff
path: root/src/tools
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2024-01-30 11:19:20 +0100
committerGitHub <noreply@github.com>2024-01-30 11:19:20 +0100
commitf99b510429f90723105d9773f4ca9a6085685c3c (patch)
treea1cedb3a474b136af8e66685aee0381bd6dcdddb /src/tools
parent63a8885fcc015e903ac3e3316c91f6eaac79eaa8 (diff)
parent514a5d8d556a6e28f586551c31ad0e9c83224caf (diff)
Rollup merge of #120488 - nnethercote:diag-lifetimes, r=oli-obk
Diagnostic lifetimes cleanups

Some diagnostic simplifications.

r? `@oli-obk`
Diffstat (limited to 'src/tools')
-rw-r--r--src/tools/miri/src/diagnostics.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/miri/src/diagnostics.rs b/src/tools/miri/src/diagnostics.rs
index bf3284df596..92c58d48dc7 100644
--- a/src/tools/miri/src/diagnostics.rs
+++ b/src/tools/miri/src/diagnostics.rs
@@ -104,7 +104,7 @@ impl MachineStopType for TerminationInfo {
         self: Box<Self>,
         _: &mut dyn FnMut(
             std::borrow::Cow<'static, str>,
-            rustc_errors::DiagnosticArgValue<'static>,
+            rustc_errors::DiagnosticArgValue,
         ),
     ) {
     }