Still reproducible (2017.11,HEAD(e5b660e)), but I don't think that's the
direction the information should flow.

I think this ticket is rejectable.
On 2014-12-16 20:26:58, r...@hoelz.ro wrote:
> For example:
>
> sub doing-stringy-thing(&action:(Str)) {
> action 'Hello';
> }
>
> The following fails:
>
> doing-stringy-thing(-> $value {});
>
> Even though $value can be any Mu (which all Strs are), the above code
> doesn't type check.

Reply via email to