d这段代码破坏编译器

原文
即使未定义dsds和sadsad,此代码也可以编译.

import std.typecons : Tuple;

sadsad executeFunction(Mtypes...)(dstring func, Tuple!(Mtypes) args)
{
    static foreach(type; typel.keys)
    {
        mixin(typel[type] ~ " ret"d ~ type ~ ";");
    }

    dstring returnType = "Number"d;

    Switch: final switch(returnType)
    {
        static foreach(type; typel.keys)
        {
            case type:
                mixin("alias ret = ret"d ~ type ~ ";");
                break Switch;
        }
    }
    dsds ret;
    return ret;
}

如下编译:

import std;

auto nonsense(T)(T t) {
    return 5+"six";
}

void main() {
}

有Mtypes可变模板参数.尽管如此,我相信应该在编译时检测到,就像在单元测试中那样.
如果从不实例化模板,则它永远不会成为可执行文件.它是否在生产中并不重要,与测试无关.它不存在.如果编译器不知道Mtypes是什么,它如何发现问题?
对模板参数都是如此.考虑一下:

import std.stdio;

T derp(T)(T val) {
    val += 10;
    return val;
}

void main()
{
    writeln("Hello D");
}

derp显然不适合每种类型.但是这段代码可以编译,因为从未实例化derp.编译器无法检查derp中代码是否有效,因为它不知道T是什么.如果是int的话,那就没问题了.如果是string则没办法:

void main()
{
    writeln(derp!string("No way"));
}

现在,报错.