miri icon indicating copy to clipboard operation
miri copied to clipboard
verified publisher icon rust-lang

Include the name of the created tag in TB's Reborrow events

Open saethlin opened this issue 7 months ago • 2 comments

This fixes https://github.com/rust-lang/miri/issues/4386 by recording and mentioning the created tag in a Reborrow event.

saethlin avatar Jun 08 '25 19:06 saethlin