Stream: t-compiler

Topic: wfcheck issue #62212


Ariel Ben-Yehuda (Jun 28 2019 at 16:23, on Zulip):

Hi @pnkfelix, I'm looking at #62212

Ariel Ben-Yehuda (Jun 28 2019 at 16:23, on Zulip):

@pnkfelix

Ariel Ben-Yehuda (Jun 28 2019 at 16:25, on Zulip):

The presence of inference variables makes me suspicious that something bad is going there

Ariel Ben-Yehuda (Jun 28 2019 at 16:25, on Zulip):

do you know why they appear?

pnkfelix (Jun 28 2019 at 18:19, on Zulip):

I assume it’s an artifact of projecting the associated item, but I don’t really know beyond that

Ariel Ben-Yehuda (Jun 28 2019 at 20:38, on Zulip):

I'll like to look at it. Hope I'll have some time tomorrow.

Ariel Ben-Yehuda (Jun 29 2019 at 19:17, on Zulip):

see https://github.com/rust-lang/rust/pull/62240

pnkfelix (Jul 01 2019 at 09:11, on Zulip):

hmm, interesting: normalization itself does not attempt to resolve type variables?

pnkfelix (Jul 01 2019 at 09:12, on Zulip):

are they considered orthogonal concerns? Do we at least ensure that type vars never map to an unnormalized type form?

Last update: Nov 22 2019 at 04:50UTC