args: I) -> CFGIndex {
let func_or_rcvr_exit = self.expr(func_or_rcvr, pred);
let ret = self.straightline(call_expr, func_or_rcvr_exit, args);
- // FIXME(canndrew): This is_never should probably be an is_uninhabited.
- if self.tables.expr_ty(call_expr).is_never() {
+ if self.tables.expr_ty(call_expr).conservative_is_uninhabited() {
self.add_unreachable_node()
} else {
ret