fn assemble_candidates_from_impls(&mut self,
                                      obligation: &Obligation<'tcx>,
                                      candidates: &mut CandidateSet<'tcx>)
                                      -> Result<(), SelectionError<'tcx>>
    {
        let all_impls = self.all_impls(obligation.trait_ref.def_id);
        for &impl_def_id in all_impls.iter() {
            self.infcx.probe(|| {
                match self.match_impl(impl_def_id, obligation) {
                    Ok(_) => {
                        candidates.vec.push(ImplCandidate(impl_def_id));
                    }
                    Err(()) => { }
                }
            });
        }
        Ok(())
    }
/// Search for impls that might apply to `obligation`.
Search for impls that might apply to `obligation`.
Search for impls that might apply to ` obligation ` .
fn assemble_candidates_from_impls(&mut self,
                                      obligation: &Obligation<'tcx>,
                                      candidates: &mut CandidateSet<'tcx>)
                                      -> Result<(), SelectionError<'tcx>>
    {
        let all_impls = self.all_impls(obligation.trait_ref.def_id);
        for &impl_def_id in all_impls.iter() {
            self.infcx.probe(|| {
                match self.match_impl(impl_def_id, obligation) {
                    Ok(_) => {
                        candidates.vec.push(ImplCandidate(impl_def_id));
                    }
                    Err(()) => { }
                }
            });
        }
        Ok(())
    }
fn assemble_candidates_from_impls ( & mut self , obligation : & Obligation < ' tcx > , candidates : & mut CandidateSet < ' tcx > ) -> Result < ( ) , SelectionError < ' tcx > > { let all_impls = self . all_impls ( obligation . trait_ref . def_id ) ; for & impl_def_id in all_impls . iter ( ) { self . infcx . probe ( | | { match self . match_impl ( impl_def_id , obligation ) { Ok ( _ ) => { candidates . vec . push ( ImplCandidate ( impl_def_id ) ) ; } Err ( ( ) ) => { } } } ) ; } Ok ( ( ) ) }
Search for impls that might apply to `obligation`.
Search for impls that might apply to ` obligation ` .
&mut self
obligation
&Obligation<'tcx>
candidates
&mut CandidateSet<'tcx>