Stream: t-compiler/help

Topic: Searching a mentor

Bastian Köcher (Sep 12 2019 at 11:25, on Zulip):

Hey, I would like to tackle the following issue:
But I would require someone to mentor me, at least by giving some pointers into the code where I could start digging.

simulacrum (Sep 12 2019 at 11:51, on Zulip):

I believe this is one of the hard bugs that isn't really feasible to targetedly fix, cc @nikomatsakis

Bastian Köcher (Sep 13 2019 at 13:36, on Zulip):


oli (Sep 13 2019 at 13:39, on Zulip):

I'm not even sure where to begin. This would require quite some research inside the compiler.

Bastian Köcher (Sep 13 2019 at 13:40, on Zulip):

Hmm okay :(

mark-i-m (Sep 13 2019 at 16:46, on Zulip):

One possible starting point might be the rustc-guide...

mark-i-m (Sep 13 2019 at 16:46, on Zulip):

There is a chapter on the trait solvers (old and new style)...

mark-i-m (Sep 13 2019 at 16:47, on Zulip):

Perhaps somebody like @tmandry can give further pointers?

tmandry (Sep 13 2019 at 19:33, on Zulip):

Left a comment on the issue... I hope it's helpful. But this may be something that takes awhile to fix, as a heads up.

nikomatsakis (Sep 13 2019 at 19:36, on Zulip):

Hey @Bastian Köcher, sorry for not responding, just backlogged on things in general. I think @tmandry 's comment sounds reasonable indeed, and that this is more or less fixing lazy norm, which is something we're looking into over in #wg-traits (ever so slowly, and from a few different directions).

Bastian Köcher (Sep 17 2019 at 05:54, on Zulip):

Okay, ty for your responses :)

Last update: Sep 18 2020 at 21:00UTC