syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"\"fulfill_implication({:?},"}]}
source_snippet:         "fulfill_implication({:?}, trait_ref={:?} |- {:?} applies)",
context_before:     debug!(
context_after:         param_env, specializing_impl_trait_ref, parent_impl_def_id