From d39703a6c53a78d477360a15ffd36921449fee93 Mon Sep 17 00:00:00 2001
From: Guillaume Gomez <guillaume.gomez@huawei.com>
Date: Sun, 29 May 2022 21:43:37 +0200
Subject: [PATCH] Add "no-duplicate-case" eslint rule

---
 src/librustdoc/html/static/.eslintrc.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/librustdoc/html/static/.eslintrc.js b/src/librustdoc/html/static/.eslintrc.js
index f98a6c01fe96..f153c9a714f8 100644
--- a/src/librustdoc/html/static/.eslintrc.js
+++ b/src/librustdoc/html/static/.eslintrc.js
@@ -68,5 +68,6 @@ module.exports = {
         "no-dupe-args": "error",
         "no-dupe-else-if": "error",
         "no-dupe-keys": "error",
+        "no-duplicate-case": "error",
     }
 };