syntax_data: {"ast_node_type":"struct","tokens":[{"end":40,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet: pub struct GoalEvaluation<I: Interner> {
context_before: #[derive_where(PartialEq, Eq, Hash; I: Interner)]
context_after:     pub uncanonicalized_goal: Goal<I, I::Predicate>,