Sign in
◑
Theme
pigweed
/
third_party
/
github
/
JetBrains
/
kotlin
/
9fc4d94d04f972782fee2dc5b3b25d052d88601a
/
.
/
compiler
/
testData
/
diagnostics
/
tests
/
cast
/
ExtensionAsNonExtension.fir.kt
blob: d77c09da11258ceadb2f3355240092a82b7fff60 [
file
]
fun f
(
a
:
(
Int
)
->
Unit
)
{
a
<!
USELESS_CAST
!>
as
Int
.()
->
Unit
<!>
f1
(
a
<!
USELESS_CAST
!>
as
Int
.()
->
Unit
<!>)
}
fun f1
(
a
:
Int
.()
->
Unit
)
{
a
<!
USELESS_CAST
!>
as
(
Int
)
->
Unit
<!>
f
(
a
<!
USELESS_CAST
!>
as
(
Int
)
->
Unit
<!>)
}