syntax_data: {"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"cache_fresh_trait_pred,"}]}
source_snippet:             cache_fresh_trait_pred,
context_before:             stack.obligation.param_env,
context_after:             dep_node,