Rollup merge of #129510 - GrigorenkoPV:fix-elided-named-lifetimes, r=cjgillot

matthiaskrgr · web-flow · commit ef173011df61 · 2024-08-24T22:14:15.000+02:00
Fix `elided_named_lifetimes` in code rust-lang/rust#129207 (comment) r? cjgillot
diff --git a/src/concurrency/thread.rs b/src/concurrency/thread.rs
@@ -1157,7 +1157,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
     }
 
     #[inline]
-    fn get_thread_name<'c>(&'c self, thread: ThreadId) -> Option<&[u8]>
+    fn get_thread_name<'c>(&'c self, thread: ThreadId) -> Option<&'c [u8]>
     where
         'tcx: 'c,
     {

Original file line number	Diff line number	Diff line change
`@@ -1157,7 +1157,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`1157`	`1157`	`}`
`1158`	`1158`
`1159`	`1159`	`#[inline]`
`1160`		`- fn get_thread_name<'c>(&'c self, thread: ThreadId) -> Option<&[u8]>`
	`1160`	`+ fn get_thread_name<'c>(&'c self, thread: ThreadId) -> Option<&'c [u8]>`
`1161`	`1161`	`where`
`1162`	`1162`	`'tcx: 'c,`
`1163`	`1163`	`{`