Summary: Illegal interaction of templates
           Product: D
           Version: D2
          Platform: x86_64
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD

--- Comment #0 from Maksim Zholudev <> 2012-04-17 10:01:53 
PDT ---
Compiler version: DMD64 D Compiler v2.058 on 64-bit Linux

The following code causes compiler errors:

struct Boo(size_t dim){int a;}
struct Baa(size_t dim){Boo!dim a;}
//struct Baa(size_t dim){Boo!1 a;} //(1) This version causes no errors

auto foo()(Boo!1 b){return b;}
//auto fuu(Boo!1 b){return b;} //(2) This line neutralizes the error

void main()
    Baa!1 a; //(3) This line causes the error message
    Baa!2 a1;
    auto b = foo(Boo!1(1));

Error messages:

test.d(12): Error: template does not match any function template
test.d(12): Error: template cannot deduce template function from
argument types !()(Boo!(1LU))

These errors occure only if there is line markes as (3).

If the definition of `Baa` is changed with the one marked as (1) there is no

If there is line marked as (2) there is no errors (even though the function
`fuu` is not used anywhere).

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to