Hey, I would like to tackle the following issue: https://github.com/rust-lang/rust/issues/44591
But I would require someone to mentor me, at least by giving some pointers into the code where I could start digging.
I believe this is one of the hard bugs that isn't really feasible to targetedly fix, cc @nikomatsakis
I'm not even sure where to begin. This would require quite some research inside the compiler.
Hmm okay :(
One possible starting point might be the rustc-guide...
There is a chapter on the trait solvers (old and new style)...
Perhaps somebody like @tmandry can give further pointers?
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.
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).
Okay, ty for your responses :)