syntax_data: {"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"param_env,"}]}
source_snippet:         param_env, source_trait_ref, target_impl
context_before:         "fulfill_implication({:?}, trait_ref={:?} |- {:?} applies)",
context_after:     );