Sign in
android
/
platform
/
external
/
jetbrains
/
kotlin
/
v1.3.20
/
.
/
idea
/
testData
/
diagnosticMessage
/
differentNamesForSameParameter.kt
blob: 77494e759583faad25fed91051a6bf6b8e035ca5 [
file
] [
log
] [
blame
]
// !DIAGNOSTICS_NUMBER: 1
// !DIAGNOSTICS: DIFFERENT_NAMES_FOR_THE_SAME_PARAMETER_IN_SUPERTYPES
interface
A
{
fun foo
(
x
:
Int
)
}
interface
B
{
fun foo
(
y
:
Int
)
{}
}
class
differentNamesForSameParameter
:
A
,
B