Have never implicitly return from its location.

[dead-claudia]

This would fix #12825, and pave the way for another suggestion to fix #8655. I'll link the proposed fix's issue here after I submit it.

[dead-claudia]

The corresponding issue to fix #8655 given this is #12885 (which is far broader in scope).

[mhegazy]

this is a duplicate of #12825. the issue is that the compiler does things in phases. when it knows about the control flow, it does not know about types. so it is an implementation limitation, both issues have the same limitation. it is not an issue of how to handle never when found.

[dead-claudia]

Oh. So it would be much more difficult to accomplish than I initially anticipated. I didn't realize that. On Tue, Dec 13, 2016, 12:48 Mohamed Hegazy <notifications@github.com> wrote: this is a duplicate of #12825 <#12825>. the issue is that the compiler does things in phases. So I'm guessing past phases have no way of communicating to future phases any node-specific data? How difficult would that be? when it knows about the control flow, it does not know about types. so it is an implementation limitation, both issues have the same limitation. it is not an issue of how to handle never when found. — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#12883 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AERrBCIQLmrLNvVO3xkV2C3Ci1X7zbTqks5rHtqKgaJpZM4LL3Lr> .