i expect line 35 to fail at compile time but it doesn’t... 😞

You mean line 33?

i mean line 35 because the

company

lambda shouldn’t be called twice

Ah no, the compiler doesn't do any verification like that.

oh, did i misunderstand that?

Second bullet point here: https://github.com/Kotlin/KEEP/blob/master/proposals/kotlin-contracts.md#limitations-and-capabilities-of-the-prototype

Sorry, I'm not sure I'm following your example. Why exactly line 35 should fail at compile time?

I think it works the other way around: You assure the compiler that you will only call it once. The compiler then accepts it e.g. when setting a val.

@karelpeeters @hho thanks for the clarification i totally misunderstood then

It will supposedly be checked and enforced at some point in the future, but for now, it's our responsibility to keep our word about contracts

I doubt the "enforced" part, there's this halting problem...

Well, yes, for obvious cases at least 🙂

Well, it depends on what you're trying to enforce... 🙂

in my case, i’d like to prevent calling the

company

twice

Yeah, I got your example @nfrankel -- missed the

AT_MOST_ONCE

part. While it is true that it works the other way currently, we're considering use cases like that and actually they have quite high priority on the list of possible contracts use cases. So, stay tuned, maybe we will have something for you in the future 😉

You can take a

Company

as a constructor parameter to encourage that, I don't think there's a way to enforce it for now 😉

@dsavvinov that would be great