Closed
Description
This kind of code worked with the original implementation of #![feature(never_type)]
, but that's because the check for diverging functions that converge was removed from liveness. With that restored, it incorrectly fires here.
@eddyb believes the fix involves:
<eddyb> and if you want to fix it *separately*, basically have a check like that that
changes succ to be self.s.exit_ln if there's a NeverToAny adjustment for that
expression, here https://github.com/rust-lang/rust/blob/master/src/librustc/middle/liveness.rs#L930
<eddyb> durka42: oh and if you do that separate PR, you can remove the ExprCall and
ExprMethod call is_never checks
Metadata
Metadata
Assignees
Labels
No labels