@tsonic/frontend 0.0.74 → 0.0.75

package/dist/validator-cases/parameters-and-dict-keys.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parameters-and-dict-keys.test.js","sourceRoot":"","sources":["../../src/validator-cases/parameters-and-dict-keys.test.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACrD,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YAC1C,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,kCAAkC;QAClC,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;YAC/E,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;YAC/F,MAAM,MAAM,GAAG;;;;;;OAMd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,WAAW,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;QACxD,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC3C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACpC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator-cases/utility-types.test.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Static Safety - Utility Types tests
+ *
+ * Covers:
+ * - Mapped utility types (TSN7406): Partial, Required, Readonly, Pick, Omit
+ * - Conditional utility types (TSN7407): Extract, Exclude, NonNullable,
+ *   ReturnType, Parameters, Awaited, ConstructorParameters, InstanceType
+ * - Mapped/conditional syntax (direct aliases, infer clauses)
+ * - No false positives for utility-like names
+ */
+export {};
+//# sourceMappingURL=utility-types.test.d.ts.map

package/dist/validator-cases/utility-types.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-types.test.d.ts","sourceRoot":"","sources":["../../src/validator-cases/utility-types.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG"}

package/dist/validator-cases/utility-types.test.js

@@ -0,0 +1,323 @@
+/**
+ * Static Safety - Utility Types tests
+ *
+ * Covers:
+ * - Mapped utility types (TSN7406): Partial, Required, Readonly, Pick, Omit
+ * - Conditional utility types (TSN7407): Extract, Exclude, NonNullable,
+ *   ReturnType, Parameters, Awaited, ConstructorParameters, InstanceType
+ * - Mapped/conditional syntax (direct aliases, infer clauses)
+ * - No false positives for utility-like names
+ */
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import { validateProgram } from "../validator.js";
+import { createTestProgram } from "./helpers.js";
+describe("Static Safety Validation", () => {
+    describe("Mapped utility types now supported", () => {
+        it("should accept Partial<T>", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        type PartialPerson = Partial<Person>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Required<T>", () => {
+            const source = `
+        interface Person { name?: string; }
+        type RequiredPerson = Required<Person>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Readonly<T>", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        type ReadonlyPerson = Readonly<Person>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Pick<T, K>", () => {
+            const source = `
+        interface Person { name: string; age: number; email: string; }
+        type NameOnly = Pick<Person, "name">;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Omit<T, K>", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        type NoAge = Omit<Person, "age">;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept nested utility types (Partial<Readonly<T>>)", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        type PartialReadonlyPerson = Partial<Readonly<Person>>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Pick with multiple keys", () => {
+            const source = `
+        interface Person { name: string; age: number; email: string; phone: string; }
+        type ContactInfo = Pick<Person, "name" | "email" | "phone">;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Omit with multiple keys", () => {
+            const source = `
+        interface Person { name: string; age: number; email: string; phone: string; }
+        type MinimalPerson = Omit<Person, "email" | "phone">;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Required on type with mixed optional properties", () => {
+            const source = `
+        interface MixedPerson { name: string; age?: number; email?: string; }
+        type FullPerson = Required<MixedPerson>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Partial on type with already optional properties", () => {
+            const source = `
+        interface OptionalPerson { name?: string; age?: number; }
+        type StillOptional = Partial<OptionalPerson>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Readonly on type with readonly properties", () => {
+            const source = `
+        interface PartiallyReadonly { readonly id: string; name: string; }
+        type FullyReadonly = Readonly<PartiallyReadonly>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept utility types in variable declarations", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        const update: Partial<Person> = { name: "Alice" };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept utility types in function parameters", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        function updatePerson(person: Person, updates: Partial<Person>): Person {
+          return { ...person, ...updates };
+        }
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept utility types in function return type", () => {
+            const source = `
+        interface Person { name: string; age: number; }
+        function getPartialPerson(): Partial<Person> {
+          return { name: "Bob" };
+        }
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+    });
+    describe("Conditional utility types are supported", () => {
+        // Extract, Exclude, NonNullable are now supported and expanded at compile time
+        it("should accept Extract<T, U>", () => {
+            const source = `
+        type StringOrNumber = string | number;
+        type OnlyStrings = Extract<StringOrNumber, string>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Exclude<T, U>", () => {
+            const source = `
+        type StringOrNumber = string | number;
+        type NoStrings = Exclude<StringOrNumber, string>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept NonNullable<T>", () => {
+            const source = `
+        type MaybeString = string | null | undefined;
+        type DefinitelyString = NonNullable<MaybeString>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept ReturnType<T> (now supported)", () => {
+            const source = `
+        function greet(name: string): string { return name; }
+        type GreetReturn = ReturnType<typeof greet>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Parameters<T> (now supported)", () => {
+            const source = `
+        function add(a: number, b: number): number { return a + b; }
+        type AddParams = Parameters<typeof add>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept Awaited<T> (now supported)", () => {
+            const source = `
+        type Result = Awaited<Promise<string>>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept ConstructorParameters<T> (now supported)", () => {
+            const source = `
+        class User {
+          constructor(name: string, active: boolean) {}
+        }
+        type CtorParams = ConstructorParameters<typeof User>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+        it("should accept InstanceType<T> (now supported)", () => {
+            const source = `
+        class Product {
+          constructor(public readonly sku: string) {}
+        }
+        type ProductInstance = InstanceType<typeof Product>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+    });
+    describe("Mapped/conditional syntax is supported", () => {
+        it("should allow direct mapped type aliases", () => {
+            const source = `
+        type Mapper<T> = { [K in keyof T]: T[K] };
+        type X = Mapper<{ a: string; b: number }>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            expect(diagnostics.diagnostics.find((d) => d.code === "TSN7406")).to.equal(undefined);
+        });
+        it("should allow direct conditional type aliases", () => {
+            const source = `
+        type C<T> = T extends string ? number : boolean;
+        type A = C<string>;
+        type B = C<number>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            expect(diagnostics.diagnostics.find((d) => d.code === "TSN7407")).to.equal(undefined);
+        });
+        it("should allow infer clauses in conditional aliases", () => {
+            const source = `
+        type Unwrap<T> = T extends Promise<infer U> ? U : T;
+        type N = Unwrap<Promise<number>>;
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            expect(diagnostics.diagnostics.find((d) => d.code === "TSN7409")).to.equal(undefined);
+        });
+    });
+    describe("No false positives for utility-like names", () => {
+        it("should allow user-defined type named Partial without type args", () => {
+            const source = `
+        interface Partial { x: number; y: number; }
+        const p: Partial = { x: 1, y: 2 };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should allow Record<string, T> (string keys are supported)", () => {
+            const source = `
+        type StringDict = Record<string, number>;
+        const d: StringDict = { a: 1, b: 2 };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            // Should not have TSN7406 (mapped type) or TSN7413 (non-string key)
+            const mappedDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            const keyDiag = diagnostics.diagnostics.find((d) => d.code === "TSN7413");
+            expect(mappedDiag).to.equal(undefined);
+            expect(keyDiag).to.equal(undefined);
+        });
+        it("should allow ReadonlyArray<T> (not a mapped type)", () => {
+            const source = `
+        const arr: ReadonlyArray<number> = [1, 2, 3];
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7406");
+            expect(diag).to.equal(undefined);
+        });
+        it("should allow user-defined Extract without type args", () => {
+            const source = `
+        interface Extract { value: string; }
+        const e: Extract = { value: "test" };
+      `;
+            const program = createTestProgram(source);
+            const diagnostics = validateProgram(program);
+            const diag = diagnostics.diagnostics.find((d) => d.code === "TSN7407");
+            expect(diag).to.equal(undefined);
+        });
+    });
+});
+//# sourceMappingURL=utility-types.test.js.map

package/dist/validator-cases/utility-types.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-types.test.js","sourceRoot":"","sources":["../../src/validator-cases/utility-types.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAEjD,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,+EAA+E;QAC/E,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG;;;;;OAKd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,CACJ,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAC1D,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,MAAM,GAAG;;;;OAId,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,CACJ,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAC1D,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,CACJ,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAC1D,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,oEAAoE;YACpE,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAC7C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAC5B,CAAC;YACF,MAAM,OAAO,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1E,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;YACvC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG;;OAEd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG;;;OAGd,CAAC;YAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,WAAW,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;YAE7C,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACvE,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator-maximus-cases/array-and-literal-inference.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=array-and-literal-inference.test.d.ts.map

package/dist/validator-maximus-cases/array-and-literal-inference.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-and-literal-inference.test.d.ts","sourceRoot":"","sources":["../../src/validator-maximus-cases/array-and-literal-inference.test.ts"],"names":[],"mappings":""}

package/dist/validator-maximus-cases/array-and-literal-inference.test.js

@@ -0,0 +1,221 @@
+import { describe, it, expect, hasCode } from "./helpers.js";
+describe("Maximus Validation Coverage", () => {
+    describe("Array constructor inference", () => {
+        const allowCases = [
+            { name: "new Array()", source: `const a = new Array();` },
+            { name: "new Array(10)", source: `const a = new Array(10);` },
+            { name: "new Array('a', 'b')", source: `const a = new Array("a", "b");` },
+            {
+                name: "new Array(...spread)",
+                source: `const xs = [1, 2, 3]; const a = new Array(...xs);`,
+            },
+            {
+                name: "new Array in expression",
+                source: `console.log(new Array(3));`,
+            },
+            {
+                name: "new Array inside function",
+                source: `function f(): void { const arr = new Array(); console.log(arr); }`,
+            },
+            {
+                name: "new Array<number>()",
+                source: `const a = new Array<number>();`,
+            },
+            {
+                name: "new Array<number>(10)",
+                source: `const a = new Array<number>(10);`,
+            },
+            {
+                name: "new Array<string>('a', 'b')",
+                source: `const a = new Array<string>("a", "b");`,
+            },
+            {
+                name: "Array() call expression",
+                source: `const a = Array(10);`,
+            },
+            {
+                name: "qualified type named Array",
+                source: `
+          namespace Custom {
+            export class Array {
+              constructor(public readonly value: number) {}
+            }
+          }
+          const a = new Custom.Array(1);
+          console.log(a.value);
+        `,
+            },
+            {
+                name: "typed factory wrapping Array",
+                source: `
+          function make(): number[] {
+            return new Array<number>(5);
+          }
+          console.log(make().length);
+        `,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7416")).to.equal(false);
+            });
+        }
+    });
+    describe("Empty array literals", () => {
+        const allowCases = [
+            { name: "const x = []", source: `const x = [];` },
+            { name: "let x = []", source: `let x = [];` },
+            { name: "var x = []", source: `var x = [];` },
+            {
+                name: "untyped function local empty array",
+                source: `function f(): void { const local = []; console.log(local); }`,
+            },
+            { name: "annotated variable", source: `const x: number[] = [];` },
+            { name: "type assertion", source: `const x = [] as number[];` },
+            {
+                name: "typed function return",
+                source: `function f(): number[] { return []; }`,
+            },
+            {
+                name: "typed function parameter",
+                source: `function consume(xs: number[]): void { console.log(xs.length); } consume([]);`,
+            },
+            {
+                name: "typed object property",
+                source: `const x: { items: number[] } = { items: [] }; console.log(x.items.length);`,
+            },
+            {
+                name: "typed conditional expression",
+                source: `const x: number[] = true ? [] : []; console.log(x.length);`,
+            },
+            {
+                name: "untyped conditional expression",
+                source: `const x = Math.random() > 0.5 ? [] : []; console.log(x.length);`,
+            },
+            {
+                name: "untyped nested object property",
+                source: `const x = { items: [] }; console.log(x.items.length);`,
+            },
+            {
+                name: "typed class field initializer",
+                source: `class Box { items: number[] = []; } console.log(new Box().items.length);`,
+            },
+            {
+                name: "return from typed arrow",
+                source: `const make: () => number[] = () => []; console.log(make().length);`,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7417")).to.equal(false);
+            });
+        }
+    });
+    describe("TSN7430 - arrow function escape hatch", () => {
+        const rejectCases = [
+            { name: "no contextual type", source: `const f = (x) => x + 1;` },
+            { name: "destructuring param", source: `const f = ({ x }) => x;` },
+            { name: "defaulted param", source: `const f = (x = 1) => x;` },
+            { name: "rest param", source: `const f = (...xs) => xs.length;` },
+            {
+                name: "async arrow without context",
+                source: `const f = async (x) => x + 1;`,
+            },
+            {
+                name: "explicit param but implicit return",
+                source: `const f = (x: number) => x + 1;`,
+            },
+            {
+                name: "nested non-simple arrow",
+                source: `const outer = () => ({ run: (...xs) => xs.length });`,
+            },
+        ];
+        for (const c of rejectCases) {
+            it(`rejects ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7430")).to.equal(true);
+            });
+        }
+        const allowCases = [
+            {
+                name: "fully typed arrow",
+                source: `const f = (x: number): number => x + 1; console.log(f(1));`,
+            },
+            {
+                name: "contextual typing via variable annotation",
+                source: `
+          type Mapper = (x: number) => number;
+          const f: Mapper = (x) => x + 1;
+          console.log(f(1));
+        `,
+            },
+            {
+                name: "contextual typing via function argument",
+                source: `
+          const apply = (f: (x: number) => number): number => f(1);
+          console.log(apply((x) => x + 1));
+        `,
+            },
+            {
+                name: "contextual typing via array element",
+                source: `
+          type Op = (a: number, b: number) => number;
+          const ops: Op[] = [(a, b) => a + b];
+          console.log(ops[0](1, 2));
+        `,
+            },
+            {
+                name: "nested contextual typing via explicit return type",
+                source: `
+          const factory: () => ((x: number) => number) = () => (x) => x + 1;
+          console.log(factory()(1));
+        `,
+            },
+            {
+                name: "simple arrow with explicit param and explicit return",
+                source: `const f = (x: number): number => x + 1; console.log(f(1));`,
+            },
+            {
+                name: "simple arrow with explicit return only",
+                source: `const f = (x: number): number => x + 1; console.log(f(1));`,
+            },
+            {
+                name: "simple arrow in object literal with contextual type",
+                source: `
+          type Ops = { add: (x: number, y: number) => number };
+          const ops: Ops = { add: (x, y) => x + y };
+          console.log(ops.add(1, 2));
+        `,
+            },
+            {
+                name: "contextual typing with destructured parameter",
+                source: `
+          type Getter = ({ x }: { x: number }) => number;
+          const getX: Getter = ({ x }) => x;
+          console.log(getX({ x: 1 }));
+        `,
+            },
+            {
+                name: "contextual typing with defaulted parameter",
+                source: `
+          type Inc = (x?: number) => number;
+          const inc: Inc = (x = 0) => x + 1;
+          console.log(inc(), inc(4));
+        `,
+            },
+            {
+                name: "contextual typing with rest parameter",
+                source: `
+          type Count = (...xs: number[]) => number;
+          const count: Count = (...xs) => xs.length;
+          console.log(count(1, 2, 3));
+        `,
+            },
+        ];
+        for (const c of allowCases) {
+            it(`allows ${c.name}`, () => {
+                expect(hasCode(c.source, "TSN7430")).to.equal(false);
+            });
+        }
+    });
+});
+//# sourceMappingURL=array-and-literal-inference.test.js.map

package/dist/validator-maximus-cases/array-and-literal-inference.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"array-and-literal-inference.test.js","sourceRoot":"","sources":["../../src/validator-maximus-cases/array-and-literal-inference.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE7D,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,wBAAwB,EAAE;YACzD,EAAE,IAAI,EAAE,eAAe,EAAE,MAAM,EAAE,0BAA0B,EAAE;YAC7D,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,gCAAgC,EAAE;YACzE;gBACE,IAAI,EAAE,sBAAsB;gBAC5B,MAAM,EAAE,mDAAmD;aAC5D;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,4BAA4B;aACrC;YACD;gBACE,IAAI,EAAE,2BAA2B;gBACjC,MAAM,EAAE,mEAAmE;aAC5E;YACD;gBACE,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE,gCAAgC;aACzC;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,kCAAkC;aAC3C;YACD;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,wCAAwC;aACjD;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sBAAsB;aAC/B;YACD;gBACE,IAAI,EAAE,4BAA4B;gBAClC,MAAM,EAAE;;;;;;;;SAQP;aACF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE;;;;;SAKP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,MAAM,UAAU,GAGX;YACH,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,eAAe,EAAE;YACjD,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE;YAC7C;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,8DAA8D;aACvE;YACD,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,2BAA2B,EAAE;YAC/D;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,uCAAuC;aAChD;YACD;gBACE,IAAI,EAAE,0BAA0B;gBAChC,MAAM,EAAE,+EAA+E;aACxF;YACD;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,4EAA4E;aACrF;YACD;gBACE,IAAI,EAAE,8BAA8B;gBACpC,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,iEAAiE;aAC1E;YACD;gBACE,IAAI,EAAE,gCAAgC;gBACtC,MAAM,EAAE,uDAAuD;aAChE;YACD;gBACE,IAAI,EAAE,+BAA+B;gBACrC,MAAM,EAAE,0EAA0E;aACnF;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,oEAAoE;aAC7E;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACrD,MAAM,WAAW,GAGZ;YACH,EAAE,IAAI,EAAE,oBAAoB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YACjE,EAAE,IAAI,EAAE,qBAAqB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAClE,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,yBAAyB,EAAE;YAC9D,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,iCAAiC,EAAE;YACjE;gBACE,IAAI,EAAE,6BAA6B;gBACnC,MAAM,EAAE,+BAA+B;aACxC;YACD;gBACE,IAAI,EAAE,oCAAoC;gBAC1C,MAAM,EAAE,iCAAiC;aAC1C;YACD;gBACE,IAAI,EAAE,yBAAyB;gBAC/B,MAAM,EAAE,sDAAsD;aAC/D;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC3B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,UAAU,GAGX;YACH;gBACE,IAAI,EAAE,mBAAmB;gBACzB,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,2CAA2C;gBACjD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,yCAAyC;gBAC/C,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,qCAAqC;gBAC3C,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,mDAAmD;gBACzD,MAAM,EAAE;;;SAGP;aACF;YACD;gBACE,IAAI,EAAE,sDAAsD;gBAC5D,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,wCAAwC;gBAC9C,MAAM,EAAE,4DAA4D;aACrE;YACD;gBACE,IAAI,EAAE,qDAAqD;gBAC3D,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,+CAA+C;gBACrD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,4CAA4C;gBAClD,MAAM,EAAE;;;;SAIP;aACF;YACD;gBACE,IAAI,EAAE,uCAAuC;gBAC7C,MAAM,EAAE;;;;SAIP;aACF;SACF,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE;gBAC1B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validator-maximus-cases/deterministic-typing.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=deterministic-typing.test.d.ts.map

package/dist/validator-maximus-cases/deterministic-typing.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"deterministic-typing.test.d.ts","sourceRoot":"","sources":["../../src/validator-maximus-cases/deterministic-typing.test.ts"],"names":[],"mappings":""}