All Questions
Tagged with static-typing testing
1
question
15
votes
6
answers
5k
views
"Testing" that something does not compile in metaprogramming
Use case
Some languages offer techniques to ensure certain requirements at compile time. For example, rust has the NonZeroU32 type that will ensure at compile time ...