{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"InspectConfig,"}]}
    InspectConfig, InspectGoal, ProofTreeInferCtxtExt, ProofTreeVisitor,
use rustc_trait_selection::solve::inspect::{
};