{"ast_node_type":"struct","tokens":[{"end":40,"kind":"keyword","start":0,"text":"pub"}]}
pub struct GoalEvaluation<I: Interner> {
/// The result of evaluating a goal.
    /// The goal we've evaluated. This is the input goal, but potentially with its