Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
6330def4271b547b5c7db5f9759e387de2908e94
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
smartCasts
/
kt6819.fir.kt
blob: 48922f7d8fbe25d7711a0b5be724b8e986c355a6 [
file
]
public
fun test
(
o
:
String
?):
Boolean
{
return
when
{
// Data flow info should propagate from o == null to o.length
o
==
null
<!
COMMA_IN_WHEN_CONDITION_WITHOUT_ARGUMENT
!>,<!>
o
.
length
==
0
->
false
else
->
true
}
}