| /Main.kt:22:18: error: type mismatch: inferred type is {A & B}! but Int was expected | |
| val a: Int = Flexier.flexify(if (true) O1 else O2) | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |
| /Main.kt:22:26: error: type mismatch: inferred type is {A & B}! but Int! was expected | |
| val a: Int = Flexier.flexify(if (true) O1 else O2) | |
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ | |