在 NativeCall perl6 模块中声明指针[void]的奇怪消息



这些代码片段可能看起来很奇怪,这是因为我从原始代码开始并切断了片段,直到我到达重现错误的最小指令集。所以请忍受明显的无用。 有两个perl6模块,一个use另一个,还有一个程序。 这是第一个模块:

unit class test1;
use NativeCall;
use test2;
method test
{
my Pointer[void] $dummy .= new;
}

第二个模块包含在第一个模块中,但实际上没有使用其中的一部分:

unit module test2;
use NativeCall;
class A is repr('CStruct') is export {
has Pointer[void] $.wrongdoer;
has int32 $.a;
}

程序创建一个 test1 对象并调用测试方法:

use lib '.';
use test1;
my test1 $t .= new;
$t.test;

这个程序输出一个错误,显然是由类 test1 的方法测试中的赋值引起的:

Type check failed in assignment to $dummy; expected NativeCall::Types::Pointer[NativeCall::Types::void] but got NativeCall::Types::Pointer[NativeCall::Types::void].new(0)

如果我注释掉第二个类中的$.wrongdoer,程序执行时没有错误。 我正在运行乐道 2018.06。 这是 NativeCall 模块中的错误还是我没有看到的其他错误?

正如布拉德·吉尔伯特(Brad Gilbert(所建议的那样,移除[void]可以阻止远处的幽灵动作。