Fix unused parameter warning.

Patrick-6 · Patrick-6 · commit d6cd31e1eb70 · 2025-10-06T22:20:48.000+02:00
diff --git a/src/concurrency/genmc/intercept.rs b/src/concurrency/genmc/intercept.rs
@@ -122,7 +122,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
                     @capture<'tcx> {
                         mutex: MPlaceTy<'tcx>,
                     }
-                    |this, _unblock: crate::UnblockKind| {
+                    |_this, _unblock: crate::UnblockKind| {
                         unreachable!("A thread blocked on `Mutex::lock` should not be unblocked again.");
                     }
                 ),

Original file line number	Diff line number	Diff line change
`@@ -122,7 +122,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {`
`122`	`122`	`@capture<'tcx> {`
`123`	`123`	`mutex: MPlaceTy<'tcx>,`
`124`	`124`	`}`
`125`		`- \|this, _unblock: crate::UnblockKind\| {`
	`125`	`+ \|_this, _unblock: crate::UnblockKind\| {`
`126`	`126`	unreachable!("A thread blocked on `Mutex::lock` should not be unblocked again.");
`127`	`127`	`}`
`128`	`128`	`),`