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