fn candidate_const<'tcx, 'a>( rvals: &'a [(u128, &'a Rvalue<'tcx>)], otherwise: Option<&'a Rvalue<'tcx>>, ) -> Option<(Vec<(u128, &'a ConstOperand<'tcx>)>, Option<&'a ConstOperand<'tcx>>)>