← Back to index | Original Bugzilla link

Bug 5831 – Template specialization ordering bug

Status
NEW
Severity
major
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
Other
OS
Mac OS X
Creation time
2011-04-10T14:27:26Z
Last change time
2024-12-13T17:55:06Z
Keywords
rejects-valid
Assigned to
No Owner
Creator
David Nadlinger
Moved to GitHub: dmd#18336 →

Comments

Comment #0 by code — 2011-04-10T14:27:26Z
The following snippet produces an ambiguity error with the latest DMD 2 (0219a5f): --- struct Foo(T) {} struct Foo(T : Bar!R, U = int, R) {} struct Bar(R) {} Foo!(Bar!float) f; --- If the »U = int« parameter is removed, the second overload is correctly selected: --- struct Foo(T) { pramga(msg, "1"); } struct Foo(T : Bar!R, R) { pragma(msg, "2"); } struct Bar(R) {} Foo!(Bar!float) f; // prints 2 ---
Comment #1 by hsteoh — 2014-11-06T01:54:30Z
Tested on git HEAD, Linux/64. Bug is still present.
Comment #2 by robert.schadek — 2024-12-13T17:55:06Z
THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18336 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB