Type unstable function returning a tuple

[DNF]

@Henrique_Becker

I am not sure if your Val(1) in length(t[Val(1)]) makes any sense, it seems to me the compiler should be able to do any optimization without the call to Val(1) and just using 1 instead.

Yes, preferably, the compiler should just see this. But as for it making sense: Does

getindex(a, Val(3))

make any less sense than

ntuple(i->i^2, Val(3))

?