Thread overview
[Issue 23577] Multiple template arguments are matched to a single parameter in "is" expressions
Dec 24, 2022
Max Samukha
Dec 24, 2022
mhh
Dec 25, 2022
Max Samukha
Dec 27, 2022
Iain Buclaw
December 24, 2022
https://issues.dlang.org/show_bug.cgi?id=23577

Max Samukha <maxsamukha@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|Multiple template arguments |Multiple template arguments
                   |are matched to a single     |are matched to a single
                   |parameter                   |parameter in "is"
                   |                            |expressions

--
December 24, 2022
https://issues.dlang.org/show_bug.cgi?id=23577

mhh <maxhaton@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |maxhaton@gmail.com

--- Comment #1 from mhh <maxhaton@gmail.com> ---
Should it pass or should it output

```
int, bool
```
?

--
December 25, 2022
https://issues.dlang.org/show_bug.cgi?id=23577

--- Comment #2 from Max Samukha <maxsamukha@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`.

--
December 27, 2022
https://issues.dlang.org/show_bug.cgi?id=23577

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P3

--