From 29adac1589e0c2f1c29239b81d685d6ece059472 Mon Sep 17 00:00:00 2001
From: Yan Ke <yke@yanke.org>
Date: Tue, 2 Jan 2024 15:02:26 -0800
Subject: [PATCH 1/2] Remove the size from the Array signature.

---
 src/types.tcc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/types.tcc b/src/types.tcc
index 5d95411..e61f2a7 100644
--- a/src/types.tcc
+++ b/src/types.tcc
@@ -170,8 +170,6 @@ void rpcTypeOf(Stream& io, Vector<T>&) {
 template <class T, size_t n>
 void rpcTypeOf(Stream& io, Array<T, n>&) {
   rpcPrint(io, '[');
-  size_t n_ {n};
-  rpcPrint(io, n_);
   T x {};
   rpcTypeOf(io, x);
   rpcPrint(io, ']');

From 1315b0d475d97c8f82addbd91f038f237c1d28ab Mon Sep 17 00:00:00 2001
From: Yan Ke <yke@yanke.org>
Date: Tue, 2 Jan 2024 16:35:29 -0800
Subject: [PATCH 2/2] Update test for Array type.

---
 tests/test_types.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tests/test_types.cc b/tests/test_types.cc
index c213768..8c114d4 100644
--- a/tests/test_types.cc
+++ b/tests/test_types.cc
@@ -120,7 +120,6 @@ TEST_CASE("Array", "[types][array]") {
   Serial.reset();
   rpcTypeOf(Serial, a);
   REQUIRE(Serial.inspect<char>() == '[');
-  REQUIRE(Serial.inspect<size_t>() == 2);
   REQUIRE(Serial.inspect<String>() == "i]");
 }