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

Bolpat <qs.il.paperinik@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |qs.il.paperinik@gmail.com

--

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

--- Comment #1 from Bolpat <qs.il.paperinik@gmail.com> ---
Generalization:

To be “aptly constrained” means that the constraint is a type of the following
form:
```d
Int delegate ParameterList MemberFunctionAttributes`
```
where `ParameterList` and `MemberFunctionAttributes` [3, 4] are defined in the
D grammar, and Int is `int` with any type constructors (`const`, `inout`,
`shared`) applied to it (they don’t matter anyways), but it shouldn’t fail
because some type inference made it e.g. `const`.

--

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

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P4

--

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

Nick Treleaven <nick@geany.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |nick@geany.org

--- Comment #2 from Nick Treleaven <nick@geany.org> ---
You can use `auto opApply` to infer attributes instead of a template.

--