mirrors/phobos
1
0
Fork 0
mirror of https://github.com/dlang/phobos.git synced 2025-04-27 13:40:20 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #959 from 9rnsr/fix9046

Browse source 
Issue 9046 - typeof(T.init) should have the type T
This commit is contained in:
Jonathan M Davis 2012-11-18 21:01:52 -08:00
commit 45f23d90f1
1 changed files with 10 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

18
std/datetime.d
View file

@ -33037,14 +33037,16 @@ unittest
+/
template hasOverloadedOpAssignWithDuration(T)
{
enum hasOverloadedOpAssignWithDuration = __traits(compiles, T.init += dur!"days"(5)) &&
is(typeof(T.init += dur!"days"(5)) == Unqual!T) &&
__traits(compiles, T.init -= dur!"days"(5)) &&
is(typeof(T.init -= dur!"days"(5)) == Unqual!T) &&
__traits(compiles, T.init += TickDuration.from!"hnsecs"(5)) &&
is(typeof(T.init += TickDuration.from!"hnsecs"(5)) == Unqual!T) &&
__traits(compiles, T.init -= TickDuration.from!"hnsecs"(5)) &&
is(typeof(T.init -= TickDuration.from!"hnsecs"(5)) == Unqual!T);
enum hasOverloadedOpAssignWithDuration = is(typeof(
{
auto d = dur!"days"(5);
auto td = TickDuration.from!"hnsecs"(5);
alias U = Unqual!T;
static assert(is(typeof(U.init += d) == U));
static assert(is(typeof(U.init -= d) == U));
static assert(is(typeof(U.init += td) == U));
static assert(is(typeof(U.init -= td) == U));
}));
}
unittest