{"ast_node_type":"import","tokens":[{"end":80,"kind":"keyword","start":0,"text":"ObligationCauseCode::ImplDerived(Box::new(traits::ImplDerivedCause"}]}
            ObligationCauseCode::ImplDerived(Box::new(traits::ImplDerivedCause {
        let cause = self.cause.clone().derived_cause(parent_trait_pred, |derived| {
                derived,