]> git.lizzy.rs Git - rust.git/commit
Rollup merge of #95620 - RalfJung:memory-no-extras, r=oli-obk
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Mon, 4 Apr 2022 23:53:33 +0000 (01:53 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Apr 2022 23:53:33 +0000 (01:53 +0200)
commit78f81f0d10484f244b99361db359ba8a6a17e79b
tree5610c2d4d9c7a26f587c1d37b019b0be2b7d1e4a
parent92e53f5cc9216f019bc732741d13086f29855dc1
parent84a343d1b5f4064863a1a4a83782454cf6c2ab37
Rollup merge of #95620 - RalfJung:memory-no-extras, r=oli-obk

interpret: remove MemoryExtra in favor of giving access to the Machine

The Miri PR for this is upcoming.

r? ``@oli-obk``