syntax_data: {"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"ty::GenericArg::from(assume),"}]}
source_snippet:                             ty::GenericArg::from(assume),
context_before:                             ty::GenericArg::from(src),
context_after:                         ],