Provides a framework for defining types that can be used to pass constant & static values as generic type arguments. These can be used in static contexts (such as static constructors & static methods), reduce the need to pass arguments through instance constructors, add compile-time validation, and more.
Create a sample demonstrating how to validate the value of a const type argument, along with supporting documentation.
The sample will likely use attributes on type parameters to define validation conditions, and perform validation operations in a type initializer.