diff options
| author | Ralf Jung <post@ralfj.de> | 2019-11-04 13:24:27 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2019-11-04 13:32:38 +0100 |
| commit | 047e702c66ec04d44366210251ae7189ac4bf20a (patch) | |
| tree | ec71ba620c05ed41f9a80c7ddf42e470d8d9514b /src/libsyntax | |
| parent | da0c7c664ba19339c606b3384ef6eebb6c0e4105 (diff) | |
| download | rust-047e702c66ec04d44366210251ae7189ac4bf20a.tar.gz rust-047e702c66ec04d44366210251ae7189ac4bf20a.zip | |
Miri: ptr_offset_from: support offset_from with twice the same non-null integer
Diffstat (limited to 'src/libsyntax')
0 files changed, 0 insertions, 0 deletions