feat: 🎸 support named tuple keys in capacity estimatro

Author: streamich

src/codegen/capacity/CapacityEstimatorCodegen.ts

@@ -174,6 +174,10 @@ export class CapacityEstimatorCodegen {
     );
   }
 
+  protected genKey(r: JsExpression, type: KeyType<any, any>): void {
+    this.onNode(r, type.val);
+  }
+
   protected onNode(value: JsExpression, type: Type): void {
     const kind = type.kind();
     switch (kind) {
@@ -203,6 +207,9 @@ export class CapacityEstimatorCodegen {
       case 'obj':
         this.genObj(value, type);
         break;
+      case 'key':
+        this.genKey(value, type as KeyType<any, any>);
+        break;
       case 'map':
         this.genMap(value, type as MapType<any>);
         break;

src/codegen/capacity/__tests__/CapacityEstimatorCodegenContext.spec.ts

@@ -135,6 +135,13 @@ describe('"arr" type', () => {
     const estimator = CapacityEstimatorCodegen.get(type);
     expect(estimator([1, 'abc', 'xxxxxxxxx'])).toBe(maxEncodingCapacity([1, 'abc', 'xxxxxxxxx']));
   });
+
+  test('named tail 2-tuple', () => {
+    const system = new ModuleType();
+    const type = system.t.Array(t.num).tail(t.Key('very_important', t.str), t.str);
+    const estimator = CapacityEstimatorCodegen.get(type);
+    expect(estimator([1, 'abc', 'xxxxxxxxx'])).toBe(maxEncodingCapacity([1, 'abc', 'xxxxxxxxx']));
+  });
 });
 
 describe('"obj" type', () => {