Stream: t-compiler

Topic: Updating miri submodule


Amanieu (Mar 18 2020 at 17:24, on Zulip):

@RalfJ Do you have any objection against bumping the miri submodule so that we can get working miri in nightlies again?

RalfJ (Mar 18 2020 at 17:32, on Zulip):

@Amanieu https://github.com/rust-lang/rust/pull/69839 will break it, so I planned to land that first

Amanieu (Mar 18 2020 at 17:33, on Zulip):

I'm waiting for min_specialization to land in a working nightly (i.e. with miri) for https://github.com/rust-lang/hashbrown/pull/147.

Amanieu (Mar 18 2020 at 17:33, on Zulip):

(hashbrown's CI relies on miri)

RalfJ (Mar 18 2020 at 17:34, on Zulip):

@Amanieu do you use the snippet to use the latest nightly with miri? or is the issue that min_spec landed too recently?

Amanieu (Mar 18 2020 at 17:34, on Zulip):

min_spec landed yesterday

RalfJ (Mar 18 2020 at 17:35, on Zulip):

ah I see

RalfJ (Mar 18 2020 at 17:35, on Zulip):

I mean I could submit the submodule bump now but it seems like a waste because it will break again immediately

Amanieu (Mar 18 2020 at 17:35, on Zulip):

Fair enough.

RalfJ (Mar 18 2020 at 18:12, on Zulip):

well, and there the tree is closed again...

eddyb (Mar 18 2020 at 18:57, on Zulip):

wow this is the first time I hear about https://github.com/rust-lang/rust/pull/68970

varkor (Mar 18 2020 at 21:16, on Zulip):

me too :o

Last update: May 29 2020 at 18:05UTC