Re: Potential issue with DMD where the template constrains are not evaluated early enough to prevent type recursion

2016-05-18 Thread Hara Kenji via Digitalmars-d
On Tuesday, 17 May 2016 at 21:48:55 UTC, Georgi D wrote: On Friday, 13 May 2016 at 23:31:00 UTC, Timon Gehr wrote: On 13.05.2016 23:21, Georgi D wrote: [...] It's tricky. The reason it fails to compile is that the template argument you are passing does not actually refer to the overload set

Re: Deduction regression or improvement?

2016-03-11 Thread Hara Kenji via Digitalmars-d
On Wednesday, 9 March 2016 at 01:27:41 UTC, Dicebot wrote: Looks like regression to me. If SomeStruct contains indirections, it should be able to deduce T as const(SomeStruct). It SomeStruct is strict value type, deducing T as both SomeStruct and const(SomeStruct) would be fine. But the b

Re: D's equivalent to C++'s std::move?

2016-02-09 Thread Hara Kenji via Digitalmars-d
On Tuesday, 9 February 2016 at 00:25:33 UTC, Matt Elkins wrote: On Thursday, 4 February 2016 at 02:33:06 UTC, Andrei Alexandrescu wrote: Got it, thanks. That's a bug in the implementation, no two ways about it. No copy should occur there, neither theoretically nor practically. Please report it