{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"NoSolution,"}]}
    NoSolution, QueryResult,
    BuiltinImplSource, CandidateSource, Certainty, EvalCtxt, Goal, GoalSource, MaybeCause,
};