Function check_representability 

fn check_representability<'tcx>(
    tcx: TyCtxt<'tcx>,
    cycle_error: CycleError<'tcx>,
) -> !