diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-06-23 03:16:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-23 03:16:24 +0200 |
| commit | 490d820a25a37369f67a44fecf3805560835c527 (patch) | |
| tree | a607ce8da1d928410040e89a6dbe82baa09c90ca /src/libstd/sys/unix/stack_overflow.rs | |
| parent | 963a4805e30fd8ac297d05ed8442d8f838005769 (diff) | |
| parent | 7447bf22013b18ecb1c07dae3ac7472622803337 (diff) | |
| download | rust-490d820a25a37369f67a44fecf3805560835c527.tar.gz rust-490d820a25a37369f67a44fecf3805560835c527.zip | |
Rollup merge of #73586 - RalfJung:switch-ty, r=oli-obk
switch_ty is redundant This field is redundant, but we cannot remove it currently as pretty-printing relies on it (and it does not have access to `mir::Body` to compute the type itself). Cc @oli-obk @matthewjasper @jonas-schievink
Diffstat (limited to 'src/libstd/sys/unix/stack_overflow.rs')
0 files changed, 0 insertions, 0 deletions