syntax_data: {"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":".into_obligations(),"}]}
source_snippet:                             .into_obligations(),
context_before:                             .map_err(|_| SelectionError::Unimplemented)?
context_after:                     );