syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// obligation is satisfied.
context_before:     /// Returns `Ok` if `poly_trait_ref` being true implies that the
context_after:     #[instrument(skip(self), level = "debug")]