Records: initial tests

- Tests for simple record cases
- Warning for empty records
- Support ASM ACC_RECORD flag for empty record support

Bug: 169645628
Change-Id: I83c7a091893c40241ad6d3b90b7ae5fefaa18e2f
diff --git a/src/test/examplesJava15/records/RecordInstanceOf.java b/src/test/examplesJava15/records/RecordInstanceOf.java
new file mode 100644
index 0000000..591192c
--- /dev/null
+++ b/src/test/examplesJava15/records/RecordInstanceOf.java
@@ -0,0 +1,21 @@
+// Copyright (c) 2020, the R8 project authors. Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+package records;
+
+public class RecordInstanceOf {
+
+  record Empty() {}
+
+  record Person(String name, int age) {}
+
+  public static void main(String[] args) {
+    Empty empty = new Empty();
+    Person janeDoe = new Person("Jane Doe", 42);
+    Object o = new Object();
+    System.out.println(janeDoe instanceof java.lang.Record);
+    System.out.println(empty instanceof java.lang.Record);
+    System.out.println(o instanceof java.lang.Record);
+  }
+}