diff options
| author | bors <bors@rust-lang.org> | 2019-08-20 04:14:51 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2019-08-20 04:14:51 +0000 |
| commit | 7858dc237d70fc0c5a31eb528dfab1ad0baf6a27 (patch) | |
| tree | dc806a4c924f3d9ba6d1536cc7ee4668cc29352d /src/libstd/sys/unix/process/process_unix.rs | |
| parent | d8d99baf565bb389b82553dfe1f6e56ddc650184 (diff) | |
| parent | 96fc98904f9e4b16e427f3e8988b7335cd60cf77 (diff) | |
| download | rust-7858dc237d70fc0c5a31eb528dfab1ad0baf6a27.tar.gz rust-7858dc237d70fc0c5a31eb528dfab1ad0baf6a27.zip | |
Auto merge of #63497 - eddyb:miri-subst, r=oli-obk
rustc_mir: fix miri substitution/"universe" discipline. Alternative to #61041, based on @RalfJung's own attempt at it. I haven't done a full audit, but I believe everything is fixed now. Fixes #61432. Closes #61336, as a drive-by fix (for a subset of #43408, that is already special-cased). r? @oli-obk / @RalfJung cc @varkor @yodaldevoid
Diffstat (limited to 'src/libstd/sys/unix/process/process_unix.rs')
0 files changed, 0 insertions, 0 deletions