{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"query"}]}
    query evaluate_obligation(
    /// `infcx.predicate_must_hold()` instead.
        goal: CanonicalPredicateGoal<'tcx>