Skip to content

miri: fix raw pointer dyn receivers#109568

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-raw-ptr-dyn
Mar 25, 2023
Merged

miri: fix raw pointer dyn receivers#109568
bors merged 1 commit intorust-lang:masterfrom
RalfJung:miri-raw-ptr-dyn

Commits

Commits on Mar 24, 2023