Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
5e49b472f81ed95098eec9749aa2ad0415fac731
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
nullabilityAndSmartCasts
/
unstableSmartcastWithOverloadedExtensions.kt
blob: dd7243cff22b8c6bb7acfdf4fb876d520ddefc6a [
file
]
// FIR_IDENTICAL
// !DIAGNOSTICS: -UNUSED_PARAMETER
class
A
class
B
fun A
.
foo
(
a
:
A
)
{}
fun A
.
foo
(
b
:
B
)
{}
var
a
:
A
?
=
null
fun smartCastInterference
(
b
:
B
)
{
if
(
a
!=
null
)
{
<!
SMARTCAST_IMPOSSIBLE
!>
a
<!>.
foo
(
b
)
}
}