Sign in
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
nullabilityAndSmartCasts
/
NullableNothingIsExactlyNull.kt
blob: e669cb2e480ee3fc5a36a13ba78eb5b9357f84cd [
file
]
fun test
()
{
val
out
:
Int
?
=
null
val x
:
Nothing
?
=
null
if
(
out
!=
<!
DEBUG_INFO_CONSTANT
!>
x
<!>)
<!
DEBUG_INFO_SMARTCAST
!>
out
<!>.
plus
(
1
)
if
(
out
==
<!
DEBUG_INFO_CONSTANT
!>
x
<!>)
return
<!
DEBUG_INFO_SMARTCAST
!>
out
<!>.
plus
(
1
)
}