Dmitriy Dolovov
40 lines
1.4 KiB
Kotlin
Vendored
40 lines
1.4 KiB
Kotlin
Vendored
import abitestutils.abiTest
|
|
|
|
fun box() = abiTest {
|
|
expectSuccess { compute(SC1.C1()) }
|
|
expectSuccess { compute(SC1.O1) }
|
|
expectFailure(noWhenBranch()) { compute(SC1.Added()) }
|
|
expectSuccess { compute(SC1.C2()) }
|
|
expectSuccess { compute(SC1.O2) }
|
|
|
|
expectSuccess { compute(SC2.C1()) }
|
|
expectSuccess { compute(SC2.O1) }
|
|
expectFailure(noWhenBranch()) { compute(SC2.Added) }
|
|
expectSuccess { compute(SC2.C2()) }
|
|
expectSuccess { compute(SC2.O2) }
|
|
|
|
expectSuccess { compute(SI1.C1()) }
|
|
expectSuccess { compute(SI1.O1) }
|
|
expectSuccess { compute(object : SI1.I1 {}) }
|
|
expectFailure(noWhenBranch()) { compute(SI1.Added()) }
|
|
expectSuccess { compute(SI1.C2()) }
|
|
expectSuccess { compute(SI1.O2) }
|
|
expectSuccess { compute(object : SI1.I2 {}) }
|
|
|
|
expectSuccess { compute(SI2.C1()) }
|
|
expectSuccess { compute(SI2.O1) }
|
|
expectSuccess { compute(object : SI2.I1 {}) }
|
|
expectFailure(noWhenBranch()) { compute(SI2.Added) }
|
|
expectSuccess { compute(SI2.C2()) }
|
|
expectSuccess { compute(SI2.O2) }
|
|
expectSuccess { compute(object : SI2.I2 {}) }
|
|
|
|
expectSuccess { compute(SI3.C1()) }
|
|
expectSuccess { compute(SI3.O1) }
|
|
expectSuccess { compute(object : SI3.I1 {}) }
|
|
expectFailure(noWhenBranch()) { compute(object : SI3.Added {}) }
|
|
expectSuccess { compute(SI3.C2()) }
|
|
expectSuccess { compute(SI3.O2) }
|
|
expectSuccess { compute(object : SI3.I2 {}) }
|
|
}
|