Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
699829ccb3e80dbb53c10cccdf1e50f06a5c5346
/
.
/
idea
/
testData
/
resolve
/
partialBodyResolve
/
IfNotIsError.dump
blob: 580b99f67574edebd872da2427c6cb31f4c0c8d5 [
file
]
Resolve
target
:
value
-
parameter p
:
kotlin
.
Any
smart
-
cast to kotlin
.
String
----------------------------------------------
fun foo
(
p
:
Any
)
{
if
(
p
!
is
String
)
{
error
(
"Not String"
)
}
println
(<
caret
>
p
.
length
)
}