Stream: t-compiler

Topic: const generics and variance


centril (Apr 17 2019 at 17:37, on Zulip):

@varkor @yodal What is your notion of "must use" wrt. const parameters? e.g. is struct A<const N: usize>; valid despite N being unused?

centril (Apr 17 2019 at 17:37, on Zulip):

(given that there's no variance to speak of...)

varkor (Apr 17 2019 at 17:37, on Zulip):

right now, no, but I saw @boats's comment about it

varkor (Apr 17 2019 at 17:37, on Zulip):

that can be fixed in a separate PR

varkor (Apr 17 2019 at 17:37, on Zulip):

(that is, it's not related to infer)

yodal (Apr 17 2019 at 17:38, on Zulip):

exactly what @varkor said

yodal (Apr 17 2019 at 17:38, on Zulip):

I was planning on throwing together a small PR, but I had been pulled into work and linker madness lately and it isn't a pressing issue

centril (Apr 17 2019 at 17:39, on Zulip):

ugh... how do you move this to a separate topic?

centril (Apr 17 2019 at 17:39, on Zulip):

@varkor do you have the link to that comment?

yodal (Apr 17 2019 at 17:39, on Zulip):

@centril https://github.com/rust-lang/rust/issues/44580#issuecomment-482797427

varkor (Apr 17 2019 at 17:40, on Zulip):

I've made https://github.com/rust-lang/rust/issues/60047

varkor (Apr 17 2019 at 17:41, on Zulip):

I feel it's reasonable to open up issues about const generics features that are already implemented, at least just for ourselves

centril (Apr 17 2019 at 17:42, on Zulip):

@varkor definitely do so; it is helpful for T-Lang as well to review the history

centril (Apr 17 2019 at 17:42, on Zulip):

@yodal thanks; I agree @boats's note makes sense (and I agree about type parameters as well, but that's a separate issue)

varkor (Apr 17 2019 at 17:44, on Zulip):

(I can't remember how to move existing conversations to new threads on Zulip)

varkor (Apr 17 2019 at 17:45, on Zulip):

but I can fix that issue once I've added some tests

Charles Lew (Apr 17 2019 at 17:45, on Zulip):

Just want to say a big "thank you" for all your great work on const generics. Really eager to see all this moving towards the finishing line (and eventually landing it on stable) :)

Last update: Nov 16 2019 at 01:15UTC