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

        let stack = self.push_stack(None, obligation);
        self.evaluate_stack(&stack).may_apply()
    }
/// Evaluates whether the obligation `obligation` can be satisfied (by any means).
Evaluates whether the obligation `obligation` can be satisfied (by any means).
Evaluates whether the obligation ` obligation ` can be satisfied ( by any means ) .
pub fn evaluate_obligation(&mut self,
                               obligation: &Obligation<'tcx>)
                               -> bool
    {
        debug!("evaluate_obligation({})",
               obligation.repr(self.tcx()));
        assert!(!obligation.trait_ref.has_escaping_regions());
        let stack = self.push_stack(None, obligation);
        self.evaluate_stack(&stack).may_apply()
    }
pub fn evaluate_obligation ( & mut self , obligation : & Obligation < ' tcx > ) -> bool { debug ! ( " " obligation repr ( self tcx ( ) ) ) ; assert ! ( obligation trait_ref has_escaping_regions ( ) ) ; let stack = self . push_stack ( None , obligation ) ; self . evaluate_stack ( & stack ) . may_apply ( ) }
Evaluates whether the obligation `obligation` can be satisfied (by any means).
Evaluates whether the obligation ` obligation ` can be satisfied ( by any means ) .
&mut self
obligation
&Obligation<'tcx>