Java 20がリリースされましたが、いろいろいじってると変な落ち方をしていて、どうもバグぽいので報告しました。 ※ 追記 4/19 JDK20.0.1がリリースされて修正されてます。 再現コードこんな感じ。 public class PatternSample { sealed interface Type { rec…