{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"ty::ConstKind::Placeholder(_)"}]}
            ty::ConstKind::Placeholder(_) | ty::ConstKind::Value(_) | ty::ConstKind::Error(_) => {
            }
                self.evaluate_added_goals_and_make_canonical_response(Certainty::Yes)