Is there a way, at compile time, to ensure that a parameter meets certain requirements?
//i is type Int within the range 11-53 inclusive
def x(i: Int[Range(11,53)]) == ???
I’ve seen where it can be done with type level programming, but the examples I found only seemed practical with a very limited number of acceptable values.