fn validate_candidates( ccx: &ConstCx<'_, '_>, temps: &mut IndexSlice<Local, TempState>, candidates: Vec<Candidate>, ) -> Vec<Candidate>