Templated function as associative array property

[Nicolas]

bearophile Wrote:
> biozic:
> > Yes, it works, thanks! But I believe this is just a workaround hack.
> 
> It's a workaround but it's not a hack. If no one else answers you then you can add a bug to bugzilla... (I am not sure it's a real bug).

Yes, you're right.
I think the problem can eventually be reduced to the following simple things:
---
module test;

void foo(T)(T[] array) {}

template Type(T) { alias T Type; }
void bar(T)(Type!T t) {}

void main()
{
    int[] a = [1, 2, 3];
    foo(a); // OK
    foo!int(a); // OK
    a.foo(); // OK
    //a.foo!int(); // Error: foo(a) isn't a template
    
    int b = 1;
    bar!int(b); // OK
    bar(b); // Error (template deduction fails)
}
---

The first error looks like a bug.
The second one: I don't know if the template deduction engine is supposed to resolve this.