Closed
Description
@Aaron1011 added support for capturing backtraces in Miri, but so far we only test directly using the Miri API for that. Once actually using the libstd types works, we should test those as well.
@Aaron1011 what is the status of that?