From 4e8d8a4de1ac8899bf0cad22e117b40f7583fa53 Mon Sep 17 00:00:00 2001
From: Tamas Vajk <tamasvajk@github.com>
Date: Fri, 4 Nov 2022 09:04:31 +0100
Subject: [PATCH] Add `compilerGeneratedReason` for enum constructor call
 arguments

---
 java/ql/lib/semmle/code/java/Element.qll | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/java/ql/lib/semmle/code/java/Element.qll b/java/ql/lib/semmle/code/java/Element.qll
index 6547a595091..751fe1a1d64 100644
--- a/java/ql/lib/semmle/code/java/Element.qll
+++ b/java/ql/lib/semmle/code/java/Element.qll
@@ -69,6 +69,8 @@ class Element extends @element, Top {
       i = 10 and result = "Forwarder for Kotlin calls that need default arguments filling in"
       or
       i = 11 and result = "Forwarder for a Kotlin class inheriting an interface default method"
+      or
+      i = 12 and result = "Argument for enum constructor call"
     )
   }
 }