There's an on-going discussion about compile-time constant expressions which is inherently related to assertions: Compile-Time Constant Expressions for Swift - #4 by marcrasi. Check the Static assertions section of that proposal.
Furthermore, you are indirectly looking for generic parameters having instance values or literal types. There has been discussion in this field, you can look at the Vector manifesto and the Generic value parameters section of the Generic Manifesto.