Stream: t-compiler/wg-rls-2.0

Topic: stack overflows


Jeremy Kolb (Sep 17 2019 at 17:34, on Zulip):

Something changed between yesterday and today. I am now getting a lot of exciting

thread '<unknown>' has overflowed its stack
[Error - 1:33:16 PM] Connection to server got closed. Server will not be restarted.
[Error - 1:33:16 PM] Request textDocument/codeAction failed.

matklad (Sep 17 2019 at 17:38, on Zulip):

Yeah, noticed this as well! Rolled back the latest commit from master just moments ago

Jeremy Kolb (Sep 17 2019 at 17:40, on Zulip):

Did you do a force push? Looks like I have to force the checkout

Jeremy Kolb (Sep 17 2019 at 17:41, on Zulip):

I mean a reset

matklad (Sep 17 2019 at 17:43, on Zulip):

Yeah, I've force pushed

Jeremy Kolb (Sep 17 2019 at 17:46, on Zulip):

That seems to have fixed it

Florian Diebold (Sep 17 2019 at 17:49, on Zulip):

hm, I'll check it

Florian Diebold (Sep 17 2019 at 18:06, on Zulip):

oh...

fn test<T: Trait>() where T::Item: Trait2

we want to lower the types in the where clauses, so we need to select the trait where Item comes from, so we look into the where clauses, so we need to lower the types in the where clauses...

Florian Diebold (Sep 17 2019 at 18:31, on Zulip):

ah... should have read rustc :big_smile: https://github.com/rust-lang/rust/blob/9150f844e2624eb013ec78ca08c1d416e6644026/src/librustc_typeck/astconv.rs#L46

Last update: Nov 12 2019 at 16:35UTC