So many seemingly arbitrary restrictions: `Contra...

# getting-started

[Daniel Pitts]

So many seemingly arbitrary restrictions: Contracts are not allowed for operator functions

@OptIn(ExperimentalContracts::class)
inline operator fun invoke(init: Companion.()->VkAccelerationStructureBuildTypeKHR): VkAccelerationStructureBuildTypeKHR {
    contract { callsInPlace(init, InvocationKind.EXACTLY_ONCE) }
    return this.init()
}

[Daniel Pitts]

Strangely enough, they are supported in constructors, which works for my use case. 🤷

[Daniel Pitts]

Oops, never mind. secondary constructors can't be inline, so the contract is meaningless.

[ephemient]

https://youtrack.jetbrains.com/issue/KT-32313

[Daniel Pitts]

Yep, found and voted for 😉

[Daniel Pitts]

Sounds like its not going to be addressed for a while yet though.

[Daniel Pitts]

Fortunately for me, it isn't a big deal for my use-case to not have a contract on this particular method.