template evaluation

[Alex]

Ok, trying to reduce my example a little bit, I arrived at this:

´´´
void main(){}

struct D
{
	size_t dummy;
	auto static s = S!D.init;
}

struct S(alias container = null)
{
	pragma(msg, container);
	
	static if(__traits(compiles, __traits(allMembers, container)))
	{
		static foreach(m; __traits(allMembers, container))
		{
			pragma(msg, m);
			
			pragma(msg, is(typeof(__traits(getMember, container, m))));
                         /*
                         for D.dummy this yields "true"
                         for D.s this yields "false"
                         */
		}
	}
}
´´´

What I clearly have, is a circular reference, now I'm aware of 
this.

So, am I trying something illegal? It seems, I can't get the type 
of the according member of the template parameter, even then (or 
should I say "especially because") the analyzing type has the 
same type.
But if this would be the only member, which I can't get the type 
of, the information would be enough, to ensure what I want. Is it 
like this?