I have an alias that looks like

static if(...){
  alias AliasType = SumType!(...);
}

which I use in a template constraint for a function template:

bool func(T: AliasType!Args, Args...)(T t){ ... }


When I try to call func with an AliasType object, the argument deduction fails with a message saying that the argument type (a SumType) doesn't match the template constraint (an AliasType)

Things do work if I change the template constraint to be a SumType rather an an AliasType

Is there a workaround to this? Here's a complete example: https://run.dlang.io/is/buRGTs

Reply via email to