Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
6fc27c22f44d8051bf2e89f1657c0d9741c281c0
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
declarationChecks
/
DataFlowInfoInMultiDecl.kt
blob: 69ba3e89ef456da65959c4235a0ea5f75fe12997 [
file
]
class
A
{
operator
fun component1
()
:
Int
=
1
operator
fun component2
()
:
Int
=
2
}
fun a
(
aa
:
A
?,
b
:
Any
)
{
if
(
aa
!=
null
)
{
val
(
a1
,
b1
)
=
<!
DEBUG_INFO_SMARTCAST
!>
aa
<!>;
}
if
(
b
is
A
)
{
val
(
a1
,
b1
)
=
<!
DEBUG_INFO_SMARTCAST
!>
b
<!>;
}
}