I thought that maybe I could make something like `...

# announcements

[LeoColman]

I thought that maybe I could make something like

fun test() {
        val x = Foo(11)
        require(x.x > 10)
        
        if (x.x == 3) {
            //Compile error because x must be > 10
        }
    }