syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":".map(|InferOk"}]}
source_snippet:             .map(|InferOk { obligations: _, value: () }| {
context_before:             .eq(DefineOpaqueTypes::No, placeholder_trait_ref, trait_bound)
context_after:                 // This method is called within a probe, so we can't have