If you take a look at this code here: https://godbolt.org/z/4T3uLh
You can see that when using a templated alias, the compiler fails to infer the T template parameter, but only when using the function that also asks for the alias, instead of the original type.
I was just wondering if this is correct behavior, since it's a slightly annoying, but easy to deal with difference.
