Skip Menu |
Report information
Id: 127256
Status: new
Priority: 0/
Queue: perl6

Owner: Nobody
Requestors: gfldex <wenzel.peppmeyer [at] gmx.de>
Cc:
AdminCc:

Severity: (no value)
Tag: (no value)
Platform: (no value)
Patch Status: (no value)
VM: (no value)



Subject: type captures on subs are not lated bound when handed over to a role
Date: Wed, 13 Jan 2016 14:01:48 +0100 (CET)
To: rakudobug [...] perl.org
From: "Wenzel P. P. Peppmeyer" <wenzel.peppmeyer [...] gmx.de>
Download (untitled) / with headers
text/plain 201b
role R[::TT] {}; sub f(::T){ Any but R[T] }; dd f(R) # OUTPUT«Any+{R[T]}␤» # expected behaviour: role R[::TT] {}; sub f(::T){ Any but R.^parameterize(T) }; dd f(Int) # OUTPUT«Any+{R[Int]}␤»


This service is sponsored and maintained by Best Practical Solutions and runs on Perl.org infrastructure.

For issues related to this RT instance (aka "perlbug"), please contact perlbug-admin at perl.org