Is Implicit Tuple Splat behavior not fully removed?

[Jens]

@DandyLyons

What I'm confused about is why does this work?

Because:

@Slava_Pestov

The type checker has an explicit rule that a function of multiple arguments can be converted to a function of one argument taking a tuple argument.