{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"BuiltinImplSource,"}]}
    BuiltinImplSource, CandidateSource, CanonicalResponse, Certainty, EvalCtxt, Goal, GoalSource,
use crate::solve::{
    MaybeCause, NoSolution, ParamEnvSource, QueryResult, has_no_inference_or_external_constraints,