syntax_data: {"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"self.typeck_results.user_provided_types().get(ty.hir_id)"}]}
source_snippet:                                 self.typeck_results.user_provided_types().get(ty.hir_id)
context_before:                             && let Some(&user_ty) =
context_after:                         {