From 662cff831640a8dca8a47ba7a85d553dcee6de03 Mon Sep 17 00:00:00 2001
From: yo-h <55373593+yo-h@users.noreply.github.com>
Date: Sat, 7 Mar 2020 22:27:47 -0500
Subject: [PATCH] Java 14: add class `Record` to `Type.qll`

---
 java/ql/src/semmle/code/java/Type.qll | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/java/ql/src/semmle/code/java/Type.qll b/java/ql/src/semmle/code/java/Type.qll
index f08c5a5eea4..b34e165a4ff 100755
--- a/java/ql/src/semmle/code/java/Type.qll
+++ b/java/ql/src/semmle/code/java/Type.qll
@@ -615,6 +615,11 @@ class Class extends RefType, @class {
   }
 }
 
+/** A record declaration. */
+class Record extends Class {
+  Record() { isRecord(this) }
+}
+
 /** An intersection type. */
 class IntersectionType extends RefType, @class {
   IntersectionType() {