Использование канонического конструктора локальной записи (функция предварительного просмотра) в Eclipse вызывает ошибку проверки

Question

Я пытаюсь использовать функцию предварительного просмотра записей с каноническими конструкторами в Eclipse.

public class Example {
    public static void main(String[] args) {
        record Range() {
            Range {
            }
        }
        new Range();
    }
}

Однако во время выполнения возникает ошибка проверки.

Исключение в потоке "main" java.lang.VerifyError: Конструктор должен вызвать super() или this() перед возвратом Сведения об исключении: Местоположение: Пример $1Range.(II)V @36: return Причина: В байт-коде есть ошибка. Байт-код: 0000000: 1b1c a400 22bb 000b 5912 0d05 bd00 0f59 0000010: 031b b800 1153 5904 1cb8 0011 53b8 0017 0000020: b700 1dbf b1 Таблица Stackmap: same_frame(@36)

в Example.main(Example.java:10)

Это происходит как в eclipse 2020-06 с JDK 14, так и в eclipse 2020-19 с поддержкой JDK 15.0.1 и eclipse 15.

Нет проблем с запуском его из командной строки с помощью bin\java, и тогда ошибка не возникает.

Это работает для кого-нибудь еще во время затмения? Есть ли обходные пути?