7933 – Illegal interaction of templates

D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 7933 - Illegal interaction of templates
Summary: Illegal interaction of templates
Status: RESOLVED FIXED
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: x86_64 Linux
: P2 normal
Assignee: No Owner
URL:
Keywords: pull, rejects-valid
Depends on:
Blocks:
Reported: 2012年04月17日 10:01 UTC by Maksim Zholudev
Modified: 2012年04月18日 13:06 UTC (History)
1 user (show)

See Also:


Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this issue.
Description Maksim Zholudev 2012年04月17日 10:01:53 UTC
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).
Comment 1 Kenji Hara 2012年04月17日 19:41:27 UTC
https://github.com/D-Programming-Language/dmd/pull/887 
Comment 2 github-bugzilla 2012年04月18日 12:00:50 UTC
Commits pushed to master at https://github.com/D-Programming-Language/dmd
https://github.com/D-Programming-Language/dmd/commit/ec4041f49357544c1cb5406baf678efcaccae5bf
fix Issue 7933 - Illegal interaction of templates
https://github.com/D-Programming-Language/dmd/commit/6131069d0edb21ecf8eda55e088ab5c4b17a91aa
Merge pull request #887 from 9rnsr/fix7933
Issue 7933 - Illegal interaction of templates


AltStyle によって変換されたページ (->オリジナル) /