[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 Basile-z changed: What|Removed |Added CC|b2.t...@gmx.com | --

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 b2.t...@gmx.com changed: What|Removed |Added Status|NEW |RESOLVED CC|

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #7 from Kenji Hara k.hara...@gmail.com --- (In reply to Kenji Hara from comment #6) Ah, it's order dependent bug in compiler. Test case: Ok, I'll fix it in the auto-ref related PR: https://github.com/D-Programming-Language/dmd/pull/4729

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #3 from Kenji Hara k.hara...@gmail.com --- (In reply to Yuxuan Shui from comment #2) Seems this bug is not related to nested templates at all, it's more likely an 'auto ref' bug: `auto ref` parameter is allowed for template functions,

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #4 from Yuxuan Shui yshu...@gmail.com --- (In reply to Kenji Hara from comment #3) (In reply to Yuxuan Shui from comment #2) Seems this bug is not related to nested templates at all, it's more likely an 'auto ref' bug: `auto ref`

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #1 from Yuxuan Shui yshu...@gmail.com --- I simplified the example a little bit: import std.traits, std.range; template ReturnTypeEx(alias A, B) { alias ReturnTypeEx = ReturnType!(A!B); } void a(S)(auto ref S i) { } template b(alias

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #2 from Yuxuan Shui yshu...@gmail.com --- Seems this bug is not related to nested templates at all, it's more likely an 'auto ref' bug: import std.traits, std.range; void a(S)(auto ref S i) { } void b(S)(auto ref S i) if

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 Yuxuan Shui yshu...@gmail.com changed: What|Removed |Added Summary|Template function reported |Template function reported

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #6 from Kenji Hara k.hara...@gmail.com --- (In reply to Steven Schveighoffer from comment #5) Your code compiles for 2.067 (except for foo). I also did my own test (which compiles on 2.067 and a recent head version): [snip] Which

[Issue 14720] Template function reported as non-template

https://issues.dlang.org/show_bug.cgi?id=14720 --- Comment #5 from Steven Schveighoffer schvei...@yahoo.com --- (In reply to Kenji Hara from comment #3) (In reply to Yuxuan Shui from comment #2) Seems this bug is not related to nested templates at all, it's more likely an 'auto ref' bug: