syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"base:"}]}
source_snippet:                             base: AdtExprBase::None,
context_before:                             user_ty,
context_after:                         }))