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