@@ -244,7 +244,7 @@ impl<'tcx> Stack {
244
244
fn item_invalidated (
245
245
item : & Item ,
246
246
global : & GlobalStateInner ,
247
- dcx : & mut DiagnosticCx < ' _ , ' _ , ' _ , ' tcx > ,
247
+ dcx : & DiagnosticCx < ' _ , ' _ , ' _ , ' tcx > ,
248
248
cause : ItemInvalidationCause ,
249
249
) -> InterpResult < ' tcx > {
250
250
if !global. tracked_pointer_tags . is_empty ( ) {
@@ -575,7 +575,7 @@ impl Stacks {
575
575
alloc_id : AllocId ,
576
576
tag : ProvenanceExtra ,
577
577
range : AllocRange ,
578
- machine : & mut MiriMachine < ' _ , ' tcx > ,
578
+ machine : & MiriMachine < ' _ , ' tcx > ,
579
579
) -> InterpResult < ' tcx > {
580
580
trace ! (
581
581
"write access with tag {:?}: {:?}, size {}" ,
@@ -596,7 +596,7 @@ impl Stacks {
596
596
alloc_id : AllocId ,
597
597
tag : ProvenanceExtra ,
598
598
range : AllocRange ,
599
- machine : & mut MiriMachine < ' _ , ' tcx > ,
599
+ machine : & MiriMachine < ' _ , ' tcx > ,
600
600
) -> InterpResult < ' tcx > {
601
601
trace ! ( "deallocation with tag {:?}: {:?}, size {}" , tag, alloc_id, range. size. bytes( ) ) ;
602
602
let dcx = DiagnosticCxBuilder :: dealloc ( machine, tag) ;
0 commit comments