syntax_data: {"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"Infer(var)"}]}
source_snippet:             Infer(var) => write!(f, "{var:?}"),
context_before:             Param(param) => write!(f, "{param:?}"),
context_after:             Bound(debruijn, var) => crate::debug_bound_var(f, *debruijn, var),