[Issue 7933] New: Illegal interaction of templates
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Tue Apr 17 10:01:04 PDT 2012
http://d.puremagic.com/issues/show_bug.cgi?id=7933
Summary: Illegal interaction of templates
Product: D
Version: D2
Platform: x86_64
OS/Version: Linux
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nobody at puremagic.com
ReportedBy: maximzms at gmail.com
--- Comment #0 from Maksim Zholudev <maximzms at gmail.com> 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 test.foo() does not match any function template
declaration
test.d(12): Error: template test.foo() 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
errors.
If there is line marked as (2) there is no errors (even though the function
`fuu` is not used anywhere).
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list