Stream: t-compiler/wg-nll

Topic: issue-51649-region-obligations-not-empty-ICE


nikomatsakis (Jun 28 2018 at 10:34, on Zulip):

cc @lqd @Jon Gjengset

nikomatsakis (Jun 28 2018 at 14:46, on Zulip):

I think I just commented in the wrong thread :party_popper:issue-51348-ICE

nikomatsakis (Jun 28 2018 at 14:46, on Zulip):

doesn't matter

Jon Gjengset (Jun 28 2018 at 14:46, on Zulip):

haha, I see

Jon Gjengset (Jun 28 2018 at 14:46, on Zulip):

yeah, 51649 is the one that matters most to me now, because I don't have a workaround for it

Jon Gjengset (Jun 28 2018 at 14:46, on Zulip):

you said you can't reproduce on master, so I'll give the latest nightly a stab with my full codebase and see if it still happens there

nikomatsakis (Jun 28 2018 at 14:53, on Zulip):

ok I moved us to the new topic :)

nikomatsakis (Jun 28 2018 at 14:54, on Zulip):

anyway, yes, I cannot reproduce the ICE on master, but the underlying flaw is definitely still there

nikomatsakis (Jun 28 2018 at 14:54, on Zulip):

I added more asserts and now I get the error ;)

nikomatsakis (Jun 28 2018 at 14:54, on Zulip):

still, I think this is mostly an internal matter

nikomatsakis (Jun 28 2018 at 14:54, on Zulip):

that won't affect you

nikomatsakis (Jun 28 2018 at 14:54, on Zulip):

i.e., as long as you don't see an ICE, compilation isn't doing wrong things

Jon Gjengset (Jun 28 2018 at 14:59, on Zulip):

I do get it with the latest nightly, but that's obviously not quite master.

nikomatsakis (Jun 28 2018 at 15:03, on Zulip):

indeed

Jon Gjengset (Jun 28 2018 at 15:48, on Zulip):

Is there an easy way for me to get the most recent compiler without compiling everything myself? I remember there being a build artefact store somewhere

nikomatsakis (Jun 28 2018 at 15:55, on Zulip):

https://crates.io/crates/rustup-toolchain-install-master

nikomatsakis (Jun 28 2018 at 15:55, on Zulip):

you can give it the SHA1 hash of a bors merge commit

Jon Gjengset (Jun 28 2018 at 15:57, on Zulip):

ah, great. I was starting to reverse-engineer it from https://github.com/Mark-Simulacrum/bisect-rust/blob/1970c7600f6389a375ad1b923e40cdedc7b3b605/src/sysroot.rs#L149 but that's much easier

Jon Gjengset (Jun 28 2018 at 16:07, on Zulip):

5d95db34a472dc09a90737c83ab533b840dcd224 (so latest master) compiles fine for me even with the full codebase! :D

nikomatsakis (Jun 28 2018 at 16:07, on Zulip):

cool

Last update: Nov 21 2019 at 13:10UTC