Type inference and overloaded functions

[FreeSlave]

I just found weird D behavior about inference of array types.
Let's suppose we have these overloaded functions:

import std.stdio;

void bar(const(int[3]) arr)
{
    writeln("static array");
}

void bar(const(int[]) arr)
{
    writeln("array slice");
}

// In main we have something like that:
int main(string[] args)
{
    bar([1,2,3]);
    writeln(typeof([1,2,3]).stringof);
    return 0;
}

Weird thing is that the static array version of bar is called, 
but typeof().stringof is int[], not int[3].