Stream: t-compiler/rust-analyzer

Topic: `unimplemented!()` in chalk mapping code


Jonas Schievink [he/him] (Apr 01 2021 at 15:40, on Zulip):

analysis-stats --with-deps on r-a hits this unimplemented!() call: https://github.com/rust-analyzer/rust-analyzer/blob/master/crates/hir_ty/src/traits/chalk/mapping.rs#L234

Could this be due to const generics?

Florian Diebold (Apr 01 2021 at 15:50, on Zulip):

oh hm. we never pass const or lifetime params to Chalk, so I'm not sure

Florian Diebold (Apr 01 2021 at 15:50, on Zulip):

I mean, it has to be either a const or a lifetime, the question would be where it came from

Florian Diebold (Apr 01 2021 at 15:51, on Zulip):

there are already some situations where Chalk gives us a lifetime back in a solution, maybe this is the same thing

Florian Diebold (Apr 01 2021 at 15:54, on Zulip):

it's rather weird though, because what is this a substitution for -- we never tell Chalk that anything takes a non-type parameter...

Last update: Jul 29 2021 at 07:45UTC