{"ast_node_type":"enum","tokens":[{"end":36,"kind":"keyword","start":0,"text":"pub(super)"}]}
pub(super) enum TraitGoalProvenVia {
#[derive(Debug, Clone, Copy)]
    /// We've proven the trait goal by something which is