diff options
| author | Dylan DPC <dylan.dpc@gmail.com> | 2020-04-13 20:23:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 20:23:33 +0200 |
| commit | 73e56dec9305f1d9d80844f95763bcf76c77131a (patch) | |
| tree | 075881a7c7153271f149a7e39727dea3c0a4702d /src/test/rustdoc-ui/coverage/private.rs | |
| parent | eb49f7fd74b46f4646f0268c378b28a07433d4de (diff) | |
| parent | 28e6b1a60262b494c8e2869648f74d0dd0ebd0c7 (diff) | |
| download | rust-73e56dec9305f1d9d80844f95763bcf76c77131a.tar.gz rust-73e56dec9305f1d9d80844f95763bcf76c77131a.zip | |
Rollup merge of #71101 - RalfJung:miri-alignment-check, r=ecstatic-morse
Miri: let machine hook dynamically decide about alignment checks This is needed for https://github.com/rust-lang/miri/pull/1332.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/private.rs')
0 files changed, 0 insertions, 0 deletions