diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-17 03:05:15 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-17 03:05:15 +0200 |
| commit | 5280d15d62356fc9d5d7aa23180e5ccad468e521 (patch) | |
| tree | a50661e12dee626df5dab54a79d77b1ece0aa1f6 /src/liballoc | |
| parent | d19458784f3f25e53484f58f66aef8b973f002bc (diff) | |
| parent | 69423bf0493441de320ee58c6ac05b7011655710 (diff) | |
| download | rust-5280d15d62356fc9d5d7aa23180e5ccad468e521.tar.gz rust-5280d15d62356fc9d5d7aa23180e5ccad468e521.zip | |
Rollup merge of #71164 - RalfJung:uninit-not-undef, r=oli-obk
reword Miri validity errors: undefined -> uninitialized I don't think we say "undefined value" or anything like that anywhere in the docs or so, but we do use the term "uninitialized memory", so I think we should do the same here. Longer-term, I think we should also internally rename "undef" to "uninit". r? @oli-obk
Diffstat (limited to 'src/liballoc')
0 files changed, 0 insertions, 0 deletions