is it possible to generate compiler warnings when violating requirements? e.g. ``` value class E...

# getting-started

[Michael de Kaste]

is it possible to generate compiler warnings when violating requirements?

e.g.

value class Example(val value: UInt){
		init{
			require(waarde <= 999_999_999u)
		}
	}

obviously this doesn't work, but a range check on numbers seems trivial when you actually call constructors

[Tim Oltjenbruns]

will the actual value always be known at compile time?

[phldavies]

you may wish to have a look at arrow analysis