syntax_data: {"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"param_env:"}]}
source_snippet:             param_env: obligation.param_env,
context_before:             cause: obligation.cause.clone(),
context_after:             predicate: ty::Binder::dummy(obligation.predicate),