Uneditable newsgroups. Simplest case.

struct Bar(T) {}

struct Foo(T : A(B), A, B) {
static void f() {}
}

void main() {
Foo!(Bar!(int)).f();
}

It would work.

struct Bar(T) {}

struct Foo(T : A!(B), alias A, B) { // 1, 2

static void f() {}

}

void main() {

Foo!(Bar!(int)).f();

}

1. should use A!(B), instead of A(B)

2. A would match to template, so should receive by TemplateAliasParameter.

Kenji Hara