]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #54298 - RalfJung:miri-field-align, r=eddyb
authorkennytm <kennytm@gmail.com>
Thu, 20 Sep 2018 13:36:29 +0000 (21:36 +0800)
committerGitHub <noreply@github.com>
Thu, 20 Sep 2018 13:36:29 +0000 (21:36 +0800)
miri: correctly compute expected alignment for field

This is the miri version of https://github.com/rust-lang/rust/pull/53998. A test is added by https://github.com/solson/miri/pull/457.

r? @eddyb


Trivial merge