{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"ObligationCauseCode::BuiltinDerived(derived)"}]}
            ObligationCauseCode::BuiltinDerived(derived)
            ObligationCauseCode::FunctionArg { parent_code, .. } => Some(parent_code),
            | ObligationCauseCode::WellFormedDerived(derived)