Change check_representability return type to !

Author: zetanumbers

compiler/rustc_query_impl/src/from_cycle_error.rs

@@ -14,7 +14,7 @@ use rustc_middle::query::CycleError;
 use rustc_middle::query::erase::erase_val;
 use rustc_middle::query::plumbing::CyclePlaceholder;
 use rustc_middle::ty::layout::{LayoutError, TyAndLayout};
-use rustc_middle::ty::{self, Representability, Ty, TyCtxt};
+use rustc_middle::ty::{self, Ty, TyCtxt};
 use rustc_middle::{bug, span_bug};
 use rustc_span::def_id::LocalDefId;
 use rustc_span::{ErrorGuaranteed, Span};
@@ -33,9 +33,9 @@ pub(crate) fn specialize_query_vtables<'tcx>(vtables: &mut QueryVTables<'tcx>) {
 
     vtables.fn_sig.value_from_cycle_error = |tcx, cycle, guar| erase_val(fn_sig(tcx, cycle, guar));
     vtables.check_representability.value_from_cycle_error =
-        |tcx, cycle, guar| erase_val(check_representability(tcx, cycle, guar));
+        |tcx, cycle, guar| check_representability(tcx, cycle, guar);
     vtables.check_representability_adt_ty.value_from_cycle_error =
-        |tcx, cycle, guar| erase_val(check_representability(tcx, cycle, guar));
+        |tcx, cycle, guar| check_representability(tcx, cycle, guar);
     vtables.variances_of.value_from_cycle_error =
         |tcx, cycle, guar| erase_val(variances_of(tcx, cycle, guar));
     vtables.layout_of.value_from_cycle_error =
@@ -84,7 +84,7 @@ fn check_representability<'tcx>(
     tcx: TyCtxt<'tcx>,
     cycle_error: CycleError,
     _guar: ErrorGuaranteed,
-) -> Representability {
+) -> ! {
     let mut item_and_field_ids = Vec::new();
     let mut representable_ids = FxHashSet::default();
     for info in &cycle_error.cycle {