instanceof 的模式匹配引发令人困惑的错误：表达式类型 Triple 是模式类型 Triple 的子类型

我有 Java 19，我正在尝试对我创建的记录进行一些简单的模式匹配。然而，Java 给了我一个非常令人困惑的编译错误。这是我可以做的导致错误的最简单的例子。

public class ExpressionTypeIsASubsetOfPatternType
{

   public record Triple(int a, int b, int c) {}

   public static void main(String[] args)
   {

      System.out.println("Java Version = " + System.getProperty("java.version"));

      final Triple input = new Triple(1, 2, 3);

      if (input instanceof Triple t)
      {

         System.out.println("Made it here");

      }

   }

}

这是当我尝试运行/编译时它给我的错误。

$ java ExpressionTypeIsASubsetOfPatternType.java
ExpressionTypeIsASubsetOfPatternType.java:15: error: expression type Triple is a subtype of pattern type Triple
      if (input instanceof Triple t)
                ^
1 error
error: compilation failed

令人惊讶的是，谷歌搜索这个错误没有显示任何有用的信息。我已经习惯了输入错误并立即发现问题。我想这是因为这个功能太新了。

无论如何，我能找到的最接近的是bug https://bugs.openjdk.org/browse/JDK-8260566这是相关的，但绝对不是我正在处理的同一问题。

最后，这是有关我的java版本的相关信息。

$ java --version
openjdk 19 2022-09-20
OpenJDK Runtime Environment (build 19+36-2238)
OpenJDK 64-Bit Server VM (build 19+36-2238, mixed mode, sharing)

$ javac --version
javac 19

HTNW 的回答 https://stackoverflow.com/a/74978688/3100123是正确的响应，但我发现编译器的这种行为并不理想，因为它没有考虑空引用。这里有一些不一致之处：

String s = null;
if (s instanceof String) {}

String s = null;
if (s instanceof String string) {}

第一个选项将编译，第二个选项将给出错误“模式类型‘字符串’与表达式类型相同”。这意味着instanceof可以用作空检查，但如果使用模式匹配则不能。没有意义。