d不能推导别名

原文

import std.sumtype;

struct Unit {}
alias Option(T) = SumType!(T, Unit);
//不能推导别名.

void foobar(T)(Option!T option) {}

void main() {
    foobar(Option!int(123));
}

从Option!T改为SumType!(T, Unit).可编译了.

---

D别名,不能推导底层.这是很久问题了,难度比较大.
可定义可选构:

import std.sumtype;

struct Unit {}
struct Option(T) {//
    SumType!(T, Unit) data;
    this(U, this This)(U value)
    {
        data = value;
    }
    alias data this;
}

void foobar(T)(Option!T option) {}

void main() {
    foobar(Option!int(123));
}