我可以内省一个变量来直接发现它是用什么子集声明的吗？

Question

有没有一种方法可以内省一个变量，直接找出它是用什么子集声明的？在这里，我创建了一个子集，但内省指出了它的基本类型：

> subset Prime of Int where .is-prime
(Prime)
> my Prime $x = 23
23
> $x.WHICH
Int|23

我知道它必须将信息存储在某个地方，因为如果我尝试重新分配与子集不匹配的值，它会失败：

> $x = 24
Type check failed in assignment to $x; expected Prime but got Int (24)
in block <unit> at <unknown file> line 1

我试着搜索代码，但我很快就找到了像container这样的文件。c和perl6\U操作。c代码让我眼前一亮。我认为X：：TypeCheck：：Assignment可能会有所帮助（请参见核心/异常.pm），但我不清楚预期值来自何处。（另请参见此提交）

我觉得我错过了一些显而易见的东西。

我可以检查某些内容是否与子集匹配，但这不能告诉我它是否是用特定子集声明的：

> my Int $y = 43;
43
> $y ~~ Prime;
True

我正在使用Rakudo Star 2017.01

灵感来自Zoffix在最近一篇帖子中使用的子集。

Answer 1

您存储在$x中的值是Int。容器（您键入到Prime）可以接受它，因为Prime是Int的子类型。

因此，您感兴趣的不是容器中的值，而是容器的类型。为了获得容器，Perl 6提供了。VAR方法。它有一个<代码>。获取类型的方法：

$ 6 'subset Prime of Int where .is-prime; my Prime $x; dd $x.VAR.of'
Prime