Generic to determine size at compile time

[Wmaxlees]

It would be nice to be able to make a datatype like the following:

type tname<N> = Vec<[int; N]>;

Where N is not a type but an integer. So, for example:

let instance = tname::<5>::new();

would create an instance of Vec<int; 5]>

[steveklabnik]

We do have http://doc.rust-lang.org/std/mem/fn.size_of.html to determine size at compile time, but it doesn't seem this is exactly what you're talking about.

To put a 5 in a type position like this, we would need rust-lang/rfcs#1038 , I think, and so this feels like a duplicate of that to me.

[Wmaxlees]

Yeah I think that it is a duplicate of that other issue.