Fix handling of divergent dicriminants

This commit is contained in:
varkor 2018-10-16 16:31:41 +01:00
parent 9f609f9fef
commit 4c88be3592

View File

@ -275,7 +275,6 @@ impl<'a, 'gcx, 'tcx> Builder<'a, 'gcx, 'tcx> {
exit_block.unit()
}
ExprKind::Call { ty, fun, args, from_hir_call } => {
let diverges = expr.ty.conservative_is_uninhabited();
let intrinsic = match ty.sty {
ty::FnDef(def_id, _) => {
let f = ty.fn_sig(this.hir.tcx());