...restrictTo!(Foo0, Foo1, Foo2, Foo3, Foo4,
            val => doSomething1
        ),
        restrictTo!(Bar, Baz, FooBar,
            val => doSomething2
        ),
        _ => doDefaultThings
    );

...doSomething1,
		(Foo3 foo) => doSomething1,
		(Foo4 foo) => doSomething1,
		(Bar  bar) => doSomething2,
		(Baz  baz) => doSomething2,
		(FooBar fb...

...int i;
    Bar bar;
    this(int i)
    {
        this.i = i;
        this.bar = new Bar({ return...

...templates without overload resolution:

template bar()
{
        template bar()
        {
                void bar()()
                if (true)  // Comment this constraint...

...Bar bar;
    this(int i)
    {
        this.i = i;
        Foo f = this;
        this.bar = new Bar...

...const(char)[] x1 = "foo";
    const string x2 = "bar";
    auto y1 = chainPath(x1, x2).array;
    pragma...

...chainPath(x, "bar").array;

Error: cannot implicitly convert expression array(chainPath(x, "bar")) of type...

...chainPath;
void main()
{
    string chained = chainPath("foo", "bar").array;
}
----

Uniqueness is being inferred based on...

...k, t;
    Bar bar;
    this(int i)
    {
        this.i = i;
        this.bar = new Bar({ return...

...int i;
    Bar bar;
    this(int i)
    {
        this.i = i;
        this.bar = new Bar({ return...