syntax_data: {"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // Check for a user-given type annotation on this `cast`
context_before:             hir::ExprKind::Cast(source, cast_ty) => {
context_after:                 let user_provided_types = self.typeck_results.user_provided_types();