Stream: t-compiler

Topic: never type


Jake Goulding (Oct 17 2018 at 14:04, on Zulip):

Are people still working on making the never type stable, or is that taking a backseat to other things? Is there a dependency that needs to be met?

nikomatsakis (Oct 17 2018 at 14:04, on Zulip):

we have to fix the coercion problems

nikomatsakis (Oct 17 2018 at 14:04, on Zulip):

afaik nobody is actively working on it, but I've been hoping we'll pick it up post Rust 2018

Jake Goulding (Oct 17 2018 at 14:10, on Zulip):

Is there a conceptual direction to fix them, or is it still further away than that? (Don't bother pulling any of this back into memory, these are just high-level curiosity questions)

nikomatsakis (Oct 17 2018 at 14:11, on Zulip):

do you mean "do we know what to do, just haven't had time to do it"?

nikomatsakis (Oct 17 2018 at 14:11, on Zulip):

if so, I'd say "no"

nikomatsakis (Oct 17 2018 at 14:11, on Zulip):

we're not quite sure how to fix without breaking other things

nikomatsakis (Oct 17 2018 at 14:11, on Zulip):

or at least

nikomatsakis (Oct 17 2018 at 14:12, on Zulip):

the "eventual plan" that I think would work is kind of far off, not sure if there is a targeted hack

Jake Goulding (Oct 17 2018 at 14:28, on Zulip):

do you mean "do we know what to do, just haven't had time to do it"?

Yep, that's what I meant. Thank you!

Last update: Nov 16 2019 at 01:10UTC