syntax_data: {"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"{"}]}
source_snippet:                         {
context_before:                                 self.typeck_results.user_provided_types().get(ty.hir_id)
context_after:                             debug!("mirror_stmts: user_ty={:?}", user_ty);