syntax_data: {"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Infer(t)"}]}
source_snippet:             Infer(t) => write!(f, "{:?}", t),
context_before:             Placeholder(p) => write!(f, "{p:?}"),
context_after:             TyKind::Error(_) => write!(f, "{{type error}}"),