pub fn predicate_must_hold(
        &self,
        obligation: &PredicateObligation<'tcx>,
    ) -> bool {
        self.evaluate_obligation(obligation) == EvaluationResult::EvaluatedToOk
    }
/// Evaluates whether the predicate can be satisfied in the given
/// `ParamEnv`, and returns `false` if not certain. However, this is
/// not entirely accurate if inference variables are involved.
Evaluates whether the predicate can be satisfied in the given
`ParamEnv`, and returns `false` if not certain. However, this is
not entirely accurate if inference variables are involved.
Evaluates whether the predicate can be satisfied in the given ` ParamEnv ` and returns ` false ` if not certain . However this is not entirely accurate if inference variables are involved .
pub fn predicate_must_hold(
        &self,
        obligation: &PredicateObligation<'tcx>,
    ) -> bool {
        self.evaluate_obligation(obligation) == EvaluationResult::EvaluatedToOk
    }
pub fn predicate_must_hold ( & self , obligation : & PredicateObligation < ' tcx > , ) -> bool { self . evaluate_obligation ( obligation ) == EvaluationResult :: EvaluatedToOk }
Evaluates whether the predicate can be satisfied in the given
`ParamEnv`, and returns `false` if not certain.
Evaluates whether the predicate can be satisfied in the given ` ParamEnv ` and returns ` false ` if not certain .
&self
obligation
&PredicateObligation<'tcx>