chore: add eslint rule no-all-string-literal-unions to disallow all string literal unions

Author: MattDevy

specification/eslint.config.js

@@ -94,6 +94,7 @@ export default defineConfig({
           ]
         }
       }
-    ]
+    ],
+    'es-spec-validator/no-all-string-literal-unions': 'error'
   }
 })

validator/eslint-plugin-es-spec.js

@@ -26,6 +26,7 @@ import noVariantsOnResponses from './rules/no-variants-on-responses.js'
 import noInlineUnions from './rules/no-inline-unions.js'
 import preferTaggedVariants from './rules/prefer-tagged-variants.js'
 import noDuplicateTypeNames from './rules/no-duplicate-type-names.js'
+import noAllStringLiteralUnions from './rules/no-all-string-literal-unions.js'
 
 export default {
   rules: {
@@ -38,6 +39,7 @@ export default {
     'no-variants-on-responses': noVariantsOnResponses,
     'no-inline-unions': noInlineUnions,
     'prefer-tagged-variants': preferTaggedVariants,
-      'no-duplicate-type-names': noDuplicateTypeNames
+    'no-duplicate-type-names': noDuplicateTypeNames,
+    'no-all-string-literal-unions': noAllStringLiteralUnions
   }
 }

validator/rules/no-all-string-literal-unions.js

@@ -0,0 +1,65 @@
+/*
+ * Licensed to Elasticsearch B.V. under one or more contributor
+ * license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright
+ * ownership. Elasticsearch B.V. licenses this file to you under
+ * the Apache License, Version 2.0 (the "License"); you may
+ * not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *    http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+import { ESLintUtils } from '@typescript-eslint/utils'
+import ts from 'typescript'
+
+export const noAllStringLiteralUnions = ESLintUtils.RuleCreator.withoutDocs({
+  name: 'no-all-string-literal-unions',
+  meta: {
+    type: 'problem',
+    docs: {
+      description: 'Disallow all string literal unions',
+      recommended: 'error'
+    },
+    messages: {
+      noAllStringLiteralUnions:
+        'All string literal unions are not allowed. Use an enum of string literals instead (e.g., export enum MyEnum { A = "a", B = "b" })'
+    },
+    schema: []
+  },
+  defaultOptions: [],
+  create(context) {
+    const services = ESLintUtils.getParserServices(context)
+
+    function isStringLiteralType(type) {
+      if (type.type !== 'TSLiteralType') {
+        return false
+      }
+
+      const tsNode = services.esTreeNodeToTSNodeMap.get(type)
+      return tsNode.literal.kind === ts.SyntaxKind.StringLiteral
+    }
+
+    return {
+      TSUnionType(node) {
+        const allMembersAreStringLiterals =
+          node.types.every(isStringLiteralType)
+
+        if (allMembersAreStringLiterals) {
+          context.report({
+            node,
+            messageId: 'noAllStringLiteralUnions'
+          })
+        }
+      }
+    }
+  }
+})
+
+export default noAllStringLiteralUnions

validator/test/no-all-string-literal-unions.js

@@ -0,0 +1,95 @@
+/*
+ * Licensed to Elasticsearch B.V. under one or more contributor
+ * license agreements. See the NOTICE file distributed with
+ * this work for additional information regarding copyright
+ * ownership. Elasticsearch B.V. licenses this file to you under
+ * the Apache License, Version 2.0 (the "License"); you may
+ * not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *    http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing,
+ * software distributed under the License is distributed on an
+ * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY
+ * KIND, either express or implied.  See the License for the
+ * specific language governing permissions and limitations
+ * under the License.
+ */
+import { RuleTester } from '@typescript-eslint/rule-tester'
+import noAllStringLiteralUnions from '../rules/no-all-string-literal-unions.js'
+
+const ruleTester = new RuleTester({
+  languageOptions: {
+    parserOptions: {
+      projectService: {
+        allowDefaultProject: ['*.ts*']
+      },
+      tsconfigRootDir: import.meta.dirname
+    }
+  }
+})
+
+const rule = noAllStringLiteralUnions
+
+ruleTester.run('no-all-string-literal-unions', rule, {
+  valid: [
+    {
+      name: 'enum',
+      code: `enum MyEnum { foo, bar, baz }
+         type MyDict = Dictionary<MyEnum, object>`
+    },
+    {
+      name: 'type',
+      code: `type MyType = "foo" | int`
+    },
+    {
+      name: 'single string literal (not a union)',
+      code: `type SingleValue = "foo"`
+    },
+    {
+      name: 'union with null/undefined',
+      code: `type MaybeString = "active" | null`
+    },
+    {
+      name: 'union with number',
+      code: `type StringOrNumber = "default" | number`
+    },
+    {
+      name: 'number literal unions (should only catch string literals)',
+      code: `type NumericUnion = 1 | 2 | 3`
+    },
+    {
+      name: 'union with type reference',
+      code: `type MyType = string; type Mixed = "literal" | MyType`
+    }
+  ],
+  invalid: [
+    {
+      name: 'all string literal union',
+      code: `type MyType = "foo" | "bar" | "baz"`,
+      errors: [{ messageId: 'noAllStringLiteralUnions' }]
+    },
+    {
+      name: 'interface with string literal union',
+      code: `export interface MyInterface {
+            some?: "foo" | "bar" | "baz"
+            other?: 'foo' | 'bar' | 'baz'
+            }`,
+      errors: [
+        { messageId: 'noAllStringLiteralUnions' },
+        { messageId: 'noAllStringLiteralUnions' }
+      ]
+    },
+    {
+      name: 'function with string literal union',
+      code: `function getStatus(): "pending" | "complete" { return "pending" }`,
+      errors: [{ messageId: 'noAllStringLiteralUnions' }]
+    },
+    {
+      name: 'class with string literal union',
+      code: `class Config { status: "active" | "inactive" }`,
+      errors: [{ messageId: 'noAllStringLiteralUnions' }]
+    }
+  ]
+})