[perl #123938]

[bri]

The current error message is now:

$ perl6 -e 'sub same'"'"'proto(::T, T $a, T $b) { $a.WHAT === $b.WHAT }; my 
&infix:<same-in-Int> = &same'"'"'proto.assuming(Int); say 42 same-in-Int "42"'
Type check failed in binding $b; expected 'Int' but got 'Str'
  in sub same'proto at -e:1
  in sub __PRIMED_ANON at EVAL_2:4
  in sub __PRIMED_ANON at EVAL_2:1
  in block <unit> at -e:1

I believe that will be satisfactory?

I have added a test to perl6 S06-currying/misc.t.

So this ticket may now be closeable, I think.