mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
^KTIJ-23892 Fixed Review: https://jetbrains.team/p/ij/reviews/100206 I can afford to use `FrontendInternals` API because this API is already used in this intention GitOrigin-RevId: 5a24ea37951f679a01bc134a88b69313ca868b3a
7 lines
165 B
Plaintext
7 lines
165 B
Plaintext
// COMPILER_ARGUMENTS: -XXLanguage:+ReferencesToSyntheticJavaProperties
|
|
fun main() {
|
|
suppressUnused(Foo()::foo)
|
|
}
|
|
|
|
fun suppressUnused(foo: () -> Int): Any = foo
|