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