Contracts

Explicit participation

Report a typo

Which of the following is the correct way to annotate a function to opt into using contracts?

Select one option from the list

@OptIn(Contracts::class)

@OptIn(Experimental::class)

@OptIn(ExperimentalContracts::class)

@OptIn(ContractsExperimental::class)

Create a free account to access the full topic