diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2022-07-05 17:08:10 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-05 17:08:10 +0200 |
| commit | 69195c026e5e38df43c77f0a36c10c230e3adcfe (patch) | |
| tree | f66cd46ffa30e31a73e0610080f2f5f323d80228 /src/librustdoc/html/static/js/source-script.js | |
| parent | 54f79babae06d3772c067f696e5b12db822ae25f (diff) | |
| parent | 46956f76ca6f02e64c372d334be586650e396963 (diff) | |
| download | rust-69195c026e5e38df43c77f0a36c10c230e3adcfe.tar.gz rust-69195c026e5e38df43c77f0a36c10c230e3adcfe.zip | |
Rollup merge of #98860 - RalfJung:dangling-int-ptr, r=davidtwco
adjust dangling-int-ptr error message based on suggestions by `@saethlin` in https://github.com/rust-lang/miri/issues/2163 Fixes https://github.com/rust-lang/miri/issues/2163 I also did a bit of refactoring on this, so we have a helper method to create a `Pointer` with `None` provenance.
Diffstat (limited to 'src/librustdoc/html/static/js/source-script.js')
0 files changed, 0 insertions, 0 deletions