{"ast_node_type":"struct","tokens":[{"end":39,"kind":"keyword","start":0,"text":"struct"}]}
struct WipGoalEvaluation<I: Interner> {
#[derive_where(PartialEq, Eq, Debug; I: Interner)]
    pub uncanonicalized_goal: Goal<I, I::Predicate>,