{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"|"}]}
            | ObligationCauseCode::WellFormedDerived(derived)
            ObligationCauseCode::BuiltinDerived(derived)
            | ObligationCauseCode::ImplDerived(box ImplDerivedCause { derived, .. }) => {