Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
HEAD
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
nullabilityAndSmartCasts
/
dataFlowInfoAfterExclExcl.kt
blob: de73fa889b000b09950a4e9aff3211656593cfae [
file
]
// RUN_PIPELINE_TILL: CODEGEN
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 */