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.