syntax_data: {"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Return `Yes` if the obligation's predicate type applies to the env_predicate, and
context_after:     /// `No` if it does not. Return `Ambiguous` in the case that the projection type is a GAT,