syntax_data: {"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub uncanonicalized_goal: Goal<I, I::Predicate>,
context_before: pub struct GoalEvaluation<I: Interner> {
context_after:     pub orig_values: Vec<I::GenericArg>,