pub fn select(&mut self, obligation: &Obligation<'tcx>)
                  -> SelectionResult<'tcx, Selection<'tcx>> {
        debug!("select({})", obligation.repr(self.tcx()));
        assert!(!obligation.trait_ref.has_escaping_regions());

        let stack = self.push_stack(None, obligation);
        match try!(self.candidate_from_obligation(&stack)) {
            None => Ok(None),
            Some(candidate) => Ok(Some(try!(self.confirm_candidate(obligation, candidate)))),
        }
    }
/// Evaluates whether the obligation can be satisfied. Returns an indication of whether the
/// obligation can be satisfied and, if so, by what means. Never affects surrounding typing
/// environment.
Evaluates whether the obligation can be satisfied. Returns an indication of whether the
obligation can be satisfied and, if so, by what means. Never affects surrounding typing
environment.
Evaluates whether the obligation can be satisfied . Returns an indication of whether the obligation can be satisfied and if so by what means . Never affects surrounding typing environment .
pub fn select(&mut self, obligation: &Obligation<'tcx>)
                  -> SelectionResult<'tcx, Selection<'tcx>> {
        debug!("select({})", obligation.repr(self.tcx()));
        assert!(!obligation.trait_ref.has_escaping_regions());
        let stack = self.push_stack(None, obligation);
        match try!(self.candidate_from_obligation(&stack)) {
            None => Ok(None),
            Some(candidate) => Ok(Some(try!(self.confirm_candidate(obligation, candidate)))),
        }
    }
pub fn select ( & mut self , obligation : & Obligation < ' tcx > ) -> SelectionResult < ' tcx , Selection < ' tcx > > { debug ! ( " " obligation repr ( self tcx ( ) ) ) ; assert ! ( obligation trait_ref has_escaping_regions ( ) ) ; let stack = self . push_stack ( None , obligation ) ; match try ! ( self candidate_from_obligation ( stack ) ) { None => Ok ( None ) , Some ( candidate ) => Ok ( Some ( try ! ( self confirm_candidate ( obligation candidate ) ) ) ) , } }
Evaluates whether the obligation can be satisfied.
Evaluates whether the obligation can be satisfied .
&mut self
obligation
&Obligation<'tcx>