Template declaration doesn't match

[John Colvin]

On Sunday, 9 February 2014 at 19:16:35 UTC, tcak wrote:
> I started writing a piece code today. It is as following.
>
> class Test{
> 	public enum DATA_LENGTH = 16;
>
> 	public static void foo( T )( in T[DATA_LENGTH] msg ) if( is(T: 
> ubyte) || is(T: char)){
> 		//...
> 	}
>
> 	public static void bar( in ubyte[DATA_LENGTH] msg ){
> 		//...
> 	}
> }
>
> void main(){
> 	ubyte[ Test.DATA_LENGTH ] msg;
>
> 	Test.foo( msg ); // error: template bugtest.Test.foo does not 
> match any function template declaration.
>
> 	Test.bar( msg ); // ok. works
> }
>
> If I call `foo`, it gives error as noted. I am on Ubuntu 13.10 
> 64-bit, DMD 2.064.2.
>
> Is that error normal and I am missing something? or a bug?

bug. Pretty sure it's only a problem with static arrays.

Here's a workaround, using std.traits.isStaticArray and 
std.range.ElementType :

public static void foo(T)(in T msg)
	if(isStaticArray!T && T.length == DATA_LENGTH
	&&(is(ElementType!T : ubyte) || is(ElementType!T : ubyte)))
{
	//...
}