On Thursday, 12 April 2018 at 00:05:26 UTC, Nicholas Wilson wrote:
There is, with template constraints:class SortedList(T, alias comparer) if(is(typeof(comparer(T.init) : int)) { //... }
If the function is declared with explicit parameter types:
```
auto list = new SortedList!(Vector3, (Vector3 v) => v.y)();
```
Then the template guard can even have a full type definition:
```
class SortedList(T, alias comparer)
if (is(typeof(comparer) : int function(T)))
{
//...
}
```
