On Monday, 4 January 2021 at 17:24:42 UTC, John Colvin wrote: >> in your opinion, this should compile and msg `int int`, yes? It does match: template Q(A : Foo!int) { pragma(msg, A.stringof); } So in then it should also match Foo!T, yes?