d模板成员语义分析中的顺序依赖

原文

template isCallable(alias callable)
{
    static if (is(typeof(&callable!())))
        enum bool isCallable = isCallable!(typeof(&callable!()));
    else
        enum bool isCallable = true;
}

string foo();

template FunctionTypeOf(alias func)
if (isCallable!func)
{
    alias FunctionTypeOf = typeof(foo);
}

template ReturnType(alias func)
{
    static if (is(FunctionTypeOf!func R == return))
        alias ReturnType = R;
}

template isAttrRange(R)
{
    alias NameType  = ReturnType!((R r) => r);
    pragma(msg, is(NameType == string));
    //打印真
    enum isAttrRange = is(NameType == string);
}

static assert(isAttrRange!string); // 失败

问题是:在计算'NameType'之前计算'enum isAttrRange',因此'is(NameType==string)'失败
这里阻塞
设置别名声明为isAttrRange.
updateTemplate()调用,调用了aliasdecl的语义的aliasdecl->toAlias(),但失败了,因为还没有调用NameType的语义.
应该在resolveHelper()中调用NameType定义的语义,但是试在那里调用产生了更多问题.