Type Inference in @safe unittests

[jmh530 via Digitalmars-d-learn]

I'm not sure if this is a bug or not.

I was playing around with printing out some member types with 
unittests and I was noticing some strange results when they were 
in @safe unittests rather than normal unittests. The first one 
prints out what I would expect, but the @safe unittest puts @safe 
@nogc nothrow and pure on them, as if it is re-writing the struct 
as a template (or maybe just the functions as templates, I don't 
know).

private enum isPrivate(T, string member) = !__traits(compiles, 
__traits(getMember, T, member));

void printMemberTypes(alias T)()
{
     foreach(memberName; __traits(allMembers, T))
     {
         static if(!isPrivate!(T, memberName)) {
             writeln(typeid(typeof(__traits(getMember, T, 
memberName))));
         }
     }
}

unittest
{
     struct Foo {
         int foo(int i, string s) @safe { return 0; }
         double foo2(string s) @safe { return 0; }
     }

     printMemberTypes!(Foo);
}

@safe unittest
{
     struct Foo {
         int foo(int i, string s) @safe { return 0; }
         double foo2(string s) @safe { return 0; }
     }

     printMemberTypes!(Foo);
}