Should the compiler be failing to infer template args here?

[SealabJaster]

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.