Re: 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)))
{
        //...
}