From @masak

<jnthn> rakudo​: sub foo($x where { $x == $y }, $y) { }; foo(1,2)
<p6eval> rakudo 3704a2​: OUTPUT«No applicable candidates found to
dispatch to for 'infix​:<==>'␤current instr.​: '_block51' pc 434
(EVAL_1​:170)␤»
<masak> jnthn​: no, 'until' is '!while'.
<jnthn> masak​: Ah, ok
<jnthn> Then error makes sense I guess.
<masak> aye.
* masak submits a LTA rakudobug for that last one :)
<masak> std​: sub foo($x where { $x == $y }, $y) { }
<p6eval> std 29780​: OUTPUT«Potential difficulties​:␤ Variable $y is
not predeclared [...] ok 00​:01 110m␤»
<masak> that's a lot better.
<jnthn> Yeah

From @bbkr

on * build

$ perl6 -e 'sub foo($x where { $x == $y }, $y) { }; foo(1,2)'
Use of uninitialized value in numeric context
Constraint type check failed for parameter '$x'
  in 'foo' at line 1
  in main program body at line 1

The RT System itself - Status changed from 'new' to 'open'

From @bbkr

NOM​: Message is now even more LTA, $y is confused in naming with $b

bbkr​:nom bbkr$ ./perl6 -e 'sub foo($x where { $x == $y }, $y) { }; foo(1,2)'
Nominal type check failed for parameter '$b'; expected Any but got Mu
instead
  in sub infix​:<==> at src/gen/CORE.setting​:1904
  in method ACCEPTS at src/gen/CORE.setting​:1073

From @jnthn

On Tue Sep 13 07​:10​:10 2011, bbkr wrote​:

NOM​: Message is now even more LTA, $y is confused in naming with $b

bbkr​:nom bbkr$ ./perl6 -e 'sub foo($x where { $x == $y }, $y) { };
foo(1,2)'
Nominal type check failed for parameter '$b'; expected Any but got Mu
instead
in sub infix​:<==> at src/gen/CORE.setting​:1904
in method ACCEPTS at src/gen/CORE.setting​:1073

Now​:

C​:\consulting\rakudo>perl6 -e "sub foo($x where { $x == $y }, $y) { };
foo(1,2)"
===SORRY!===
Variable $y is not declared
at -e​:1

Tagging testneeded.

/jnthn

From @bbkr

Test in

Raku/roast@ae8bd0a393

@bbkr - Status changed from 'open' to 'resolved'