| /* |
| * KOTLIN DIAGNOSTICS SPEC TEST (POSITIVE) |
| * |
| * SPEC VERSION: 0.1-313 |
| * PRIMARY LINKS: expressions, when-expression, exhaustive-when-expressions -> paragraph 2 -> sentence 9 |
| * expressions, when-expression -> paragraph 6 -> sentence 1 |
| * expressions, when-expression -> paragraph 5 -> sentence 1 |
| * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 1 |
| * type-inference, smart-casts, smart-cast-types -> paragraph 9 -> sentence 8 |
| */ |
| enum class My { A, B } |
| |
| fun test(a: My): String { |
| val q: String? |
| |
| <!DEBUG_INFO_IMPLICIT_EXHAUSTIVE!>when (a) { |
| My.A -> q = "1" |
| My.B -> q = "2" |
| }<!> |
| // When is exhaustive |
| return <!DEBUG_INFO_SMARTCAST!>q<!> |
| } |
