{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// The goal we've evaluated. This is the input goal, but potentially with its
pub struct GoalEvaluation<I: Interner> {
    /// inference variables resolved. This never applies any inference constraints