syntax_data: {"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"self.write_str(\";"}]}
source_snippet:                 self.write_str("; ")?;
context_before:                 self.print_type(ty)?;
context_after:                 if let Some(size) = size.try_to_target_usize(self.tcx()) {