Stream: t-compiler/help

Topic: Something about #[fundamental] and trait solving


Charles Lew (May 14 2019 at 14:26, on Zulip):

We discussed something about trait resolving, i wrote something here, but is it actually correct? https://github.com/rust-lang/rust/issues/44580#issuecomment-492258818

Charles Lew (May 14 2019 at 16:11, on Zulip):

@Nemo157 Hi, thank you for the answer! I still have a question, why libcore is able to define this impl: https://doc.rust-lang.org/nightly/std/primitive.array.html#impl-TryFrom%3C%26%27_%20%5BT%5D%3E

Nemo157 (May 14 2019 at 16:16, on Zulip):

I don’t really know the details of fundamental, and with arrays being a builtin type I wonder if they have some more specialness that lib core is exploiting to implement that

Charles Lew (May 14 2019 at 16:18, on Zulip):

thank you, i'm meeting an issue in https://github.com/rust-lang/rust/pull/60466

Charles Lew (May 14 2019 at 16:19, on Zulip):

after i change some impl definitions into const generics, the fore-said conflicts occurred :(

Charles Lew (May 15 2019 at 05:34, on Zulip):

I wonder if @eddyb can teach me more about this?

eddyb (May 15 2019 at 07:59, on Zulip):

not really, sorry :(

eddyb (May 15 2019 at 07:59, on Zulip):

all I know is that wg-traits people might know

Charles Lew (May 15 2019 at 14:40, on Zulip):

thx!

Last update: Nov 11 2019 at 23:05UTC