Skip to content

miri realloc: do not require giving old size+align#62295

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:miri-reallocJul 4, 2019
+9-6

Commits