将返回类型约束为角色参数捕获的类型

Question

应该在 Raku 中进行以下工作：

my role R[::T] {
    has T $!a;
    method m ( T $v ) {
        $!a = $v;
    }
    method n ( --> T ) {
        $!a;
    }
}

my class C does R[Str] { }

my C $c = C.new;
$c.m: 'hello';
$c.n;

运行上面给出的错误：

返回值的类型检查失败； 预期 T 但得到 Str ("hello")

我是否误解了参数化角色的工作原理？

Answer 1

这实际上更像是尚未实施的情况。

它最近由Vadim Belman实现，并将在下一个 Rakudo 编译器版本中发布（参见https://rakudoweekly.blog/2022/08/29/2022-35-reworkout/ “核心开发”）