On Saturday, 31 August 2013 at 18:47:02 UTC, Timon Gehr wrote:
On 08/31/2013 06:39 PM, monarch_dodra wrote:
Although arguably, since foo is already in a parameterized
context,
*ideally* it should already be infered (but that is not the
case today).
http://d.puremagic.com/issues/show_bug.cgi?id=7511
This is the "first" example. It doesn't work for the second. It
doesn't go deep enough (non-template function in a non-template
struct declared in a template-function).
Basically voldermorts.
Real life example:
//----
import std.range;
void main() pure
{
chain([1], [2]); //not pure.
}
//----
