Note that while the grammar allows for any expression, this is currently limited to only integer literals.
As @Slava_Pestov reminds us, integer generic parameters are an important, already supported feature which leads to non-literal sizes of InlineArray. Is it the meaning of this proposal that the following is currently not supported as part of this proposal?
func f<let n: Int>(_: [n x Int]) {}