[perl #68074] where-clauses in parametric role signatures produce internal error

[via RT]

# New Ticket Created by  Moritz Lenz 
# Please include the string:  [perl #68074]
# in the subject line of all future correspondence about this issue. 
# <URL: http://rt.perl.org/rt3/Ticket/Display.html?id=68074 >


12:16 <@moritz_> rakudo: role A[Int $x where { $x % 2 == 0 }] { method s {
                 'even' } }; role A[Int $x where{ $x % 2 == 1 }] {
method s {
                 'odd' } }; class X does A[5]; say X.new.s
12:16 < p6eval> rakudo a53a1c: OUTPUT«Potential internal error: bindability
                check may have done more than just binding.␤Potential
internal
                error: bindability check may have done more than just
                binding.␤Ambiguous dispatch to multi '_block50'. Ambiguous
                candidates had signatures:␤:(Int $x where all({ ...
}))␤:(Int
12:16 < p6eval> ..$x whe…

So the where-clauses didn't have the effect of disambiguating the
dispatch, as they should.

Cheers,
Moritz

-- 
Moritz Lenz
http://perlgeek.de/ |  http://perl-6.de/ | http://sudokugarden.de/