syntax_data: {"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"user_ty:"}]}
source_snippet:                         user_ty: Some(Box::new(*user_ty)),
context_before:                         source: cast_expr,
context_after:                         user_ty_span: cast_ty.span,