On Monday, 4 January 2021 at 17:22:55 UTC, John Colvin wrote:
On Monday, 4 January 2021 at 13:47:17 UTC, Ola Fosheim Grøstad wrote:
[...]

I have a longer reply I'm trying to write, but just to make sure I'm on the right track:

    template Foo(T) {
        alias Foo = T;
    }

    template Q(A : Foo!T, T) {
        pragma(msg, A.stringof, " ", T.stringof);
    }

    alias X = Q!(Foo!int);

in your opinion, this should compile and msg `int int`, yes?

I'm trying to make a really concise example without using IFTI.

and presumably the same for
    alias X = Q!(int);
yes?

Reply via email to