syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"ty::Char"}]}
source_snippet:             ty::Char => write!(self, "char")?,
context_before:             ty::Bool => write!(self, "bool")?,
context_after:             ty::Int(t) => write!(self, "{}", t.name_str())?,