[Issue 23577] Multiple template arguments are matched to a single parameter in "is" expressions

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=23577

--- Comment #2 from Max Samukha <maxsamukha at gmail.com> ---
(In reply to mhh from comment #1)
> Should it pass or should it output
> 
> ```
> int, bool
> ```
> ?

It should pass. Matching `S!(int, bool)` should require `S!A, A...` or `S!(A,
B), A, B`.

--