src/test/examplesJava17/records/EmptyRecord.java

// 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 EmptyRecord {

  record Empty() {}

  public static void main(String[] args) {
    System.out.println(new Empty());
  }
}