pub fn predicate_may_hold(
        &self,
        obligation: &PredicateObligation<'tcx>,
    ) -> bool {
        self.evaluate_obligation(obligation).may_apply()
    }
/// Evaluates whether the predicate can be satisfied (by any means)
/// in the given `ParamEnv`.
Evaluates whether the predicate can be satisfied (by any means)
in the given `ParamEnv`.
Evaluates whether the predicate can be satisfied ( by any means ) in the given ` ParamEnv ` .
pub fn predicate_may_hold(
        &self,
        obligation: &PredicateObligation<'tcx>,
    ) -> bool {
        self.evaluate_obligation(obligation).may_apply()
    }
pub fn predicate_may_hold ( & self , obligation : & PredicateObligation < ' tcx > , ) -> bool { self . evaluate_obligation ( obligation ) . may_apply ( ) }
Evaluates whether the predicate can be satisfied (by any means)
in the given `ParamEnv`.
Evaluates whether the predicate can be satisfied ( by any means ) in the given ` ParamEnv ` .
&self
obligation
&PredicateObligation<'tcx>