Depends greatly on what ParamsMap does. Probably the simplest counterexample:

    alias ParamsMap(T...) = int;

So...

Can the case where the name of original template in scope of the alias template...

This works, but ugly...

template testFunction(T, U = TestAlias!T, alias V = TemplateOf!(U), W...

It's a feature request, according to the comments. So before anyone goes wasting their...

Doesn't extend to multiple template parameters that well...

import std.traits : TemplateOf;

struct TestType...

What about something like this (using the reduced example from the bug report):

import std...

This is supported in https://github.com/tgehr/d-compiler
It has explicit "unknown" types...

Ah that is an interesting bug which further demonstrates that templates are a tricky thing...

Given the recent blog post on std.variant, it occurs to me that this enhancement...

Hello,

Bugfix for the Issue 16486 [1] (originally [2]) is required for mir-algorithm types...