{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"Some((&derived.parent_code,"}]}
                Some((&derived.parent_code, Some(derived.parent_trait_pred)))
            | ObligationCauseCode::ImplDerived(box ImplDerivedCause { derived, .. }) => {
            }