Stream: t-compiler

Topic: const generics work


Sebastian Malton (Apr 29 2020 at 20:48, on Zulip):

Hello, I am interested in helping work on const generics support in rustc. Does anyone know who I should talk to?

Bastian Kauschke (Apr 29 2020 at 20:56, on Zulip):

I recommend @varkor and @eddyb, both don't have a lot of time rn IIRC.

Bastian Kauschke (Apr 29 2020 at 20:58, on Zulip):

I should also be able to help you out in most cases, so feel free to ask if you want to know anything specific

Sebastian Malton (Apr 29 2020 at 20:59, on Zulip):

Thanks for the reply, would just looking at the issues on the rust-lang/rust repo be a good place to start?

Bastian Kauschke (Apr 29 2020 at 21:00, on Zulip):

Not really :sweat_smile:

Bastian Kauschke (Apr 29 2020 at 21:00, on Zulip):

most issues are currently either blocked or will be fixed by lazy normalization, const well formedness or const in type dependent paths

Bastian Kauschke (Apr 29 2020 at 21:01, on Zulip):

const wf: https://github.com/rust-lang/rust/pull/70107

Bastian Kauschke (Apr 29 2020 at 21:01, on Zulip):

type dependent paths: https://github.com/rust-lang/rust/pull/71154

Bastian Kauschke (Apr 29 2020 at 21:02, on Zulip):

lazy normalization: https://github.com/rust-lang/rust/pull/67890

Bastian Kauschke (Apr 29 2020 at 21:06, on Zulip):

https://github.com/rust-lang/rust/issues/70507#issuecomment-615268893 should be doable at the moment, but I don't know how difficult this will be.

Bastian Kauschke (Apr 29 2020 at 21:07, on Zulip):

this is a spurious warning which is related, I looked into this and at least to me the problem was not directly obvious so it is probably also not that easy to fix https://github.com/rust-lang/rust/issues/70225

Bastian Kauschke (Apr 29 2020 at 21:08, on Zulip):

https://github.com/rust-lang/rust/issues/68104 is also unrelated, but is also not that easy

Bastian Kauschke (Apr 29 2020 at 21:10, on Zulip):

https://github.com/rust-lang/rust/issues/66451 is both fairly self contained and helpful

Bastian Kauschke (Apr 29 2020 at 21:14, on Zulip):

That's all I can think of at the moment, I believe that all other issues can't be fixed right now.

Sebastian Malton (Apr 29 2020 at 21:15, on Zulip):

Thanks, I'll take a look at 66451 probably

Last update: Jun 04 2020 at 18:00UTC