Possible use-after free fix in mrustc commits: https://github.com/thepowersgang/mrustc/commit/a51eea542ae086687ea2c4cb09321785f5cc6269 This was not in the mrustc 0.8.0 release yet.