@kotlin.OptIn(markerClass = [kotlin.contracts.ExperimentalContracts::class])
fun invalidContract(foo: kotlin.Any, bar: kotlin.Boolean)
