syntax_data: {"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ty::Array(ty,"}]}
source_snippet:             ty::Array(ty, size) => {
context_before:             // -Zverbose-internals flag, so we cannot reuse it here.
context_after:                 self.write_str("[")?;