From 943ed1ecdee75dac624ab3d14bc296b7fa4d629b Mon Sep 17 00:00:00 2001
From: "Jonathan B. Coe" <jonathanbcoe@gmail.com>
Date: Sat, 25 Jul 2026 15:57:44 +0000
Subject: [PATCH] Add a default allocator argument to the protocol primary
 template

Moves the std::allocator<T> default from the definition to the
forward declaration, so protocol<T> is valid wherever only the
declaration is visible. A default can't be repeated on the same
parameter, so the definition drops its own.
---
 protocol.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/protocol.h b/protocol.h
index f693418..215e0e6 100644
--- a/protocol.h
+++ b/protocol.h
@@ -29,7 +29,7 @@ namespace xyz {
 template <typename T>
 struct is_protocol : std::false_type {};
 
-template <typename T, typename Alloc>
+template <typename T, typename Alloc = std::allocator<T>>
 class protocol;
 
 template <typename T, typename Alloc>
@@ -124,7 +124,7 @@ get_owning_vtable(const typename protocol_owning_vtable_traits<
                         sizeof(ToVtable), mapping_function));
 }
 
-template <typename T, typename A = std::allocator<T>>
+template <typename T, typename A>
 class protocol {
   static_assert(
       sizeof(T) == 0,