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