{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"|derived|"}]}
                        |derived| {
                        }),
                            ObligationCauseCode::ImplDerived(Box::new(traits::ImplDerivedCause {