Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
nullabilityAndSmartCasts
/
unstableSmartcastWithOverloadedExtensions.kt
blob: 09d6c69608dedb6c3ca0d930646f373452affe7c [
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
)
}
}