{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"orig_values:"}]}
        orig_values: &[I::GenericArg],
        uncanonicalized_goal: Goal<I, I::Predicate>,
        kind: GoalEvaluationKind,