Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
2b455fc1ba7dcb99fa03fdfc31c7672d6ccfc9fd
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
nullabilityAndSmartCasts
/
dataFlowInfoAfterExclExcl.fir.kt
blob: 4d9ef1f18de55b3d8d73363d72046793218ca4e3 [
file
]
// RUN_PIPELINE_TILL: BACKEND
fun foo
(
d
:
Any
?)
{
if
(
d
is
String
?)
{
d
!!
doString
(
d
)
}
}
fun doString
(
s
:
String
)
=
s
/* GENERATED_FIR_TAGS: checkNotNullCall, functionDeclaration, ifExpression, isExpression, nullableType, smartcast */