{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"goal:"}]}
    goal: &chalk_ir::UCanonical<chalk_ir::InEnvironment<chalk_ir::Goal<Interner>>>,
    block: Option<BlockId>,
) -> Option<chalk_solve::Solution<Interner>> {