syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
source_snippet: impl<'tcx> SelectionContext<'_, 'tcx> {
context_before: /// bounds to see if they are satisfied.
context_after:     /// If there are multiple ways to prove a trait goal, we make some