syntax_data: {"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"crate::solve::Certainty,"}]}
source_snippet:     crate::solve::Certainty,
context_before:     crate::solve::BuiltinImplSource,
context_after:     crate::solve::GoalSource,