[FIR TEST] Add test for KT-40327

This commit is contained in:
Mikhail Glukhikh
2020-07-15 13:06:32 +03:00
parent 92d40c27e2
commit 9934f7d56e
4 changed files with 50 additions and 0 deletions
@@ -0,0 +1,19 @@
// See KT-40327
interface Foo {
fun some(x: Int = 1, y: Int)
}
interface Bar {
fun some(x: Int, y: Int = 2)
}
class Impl : Foo, Bar {
override fun some(x: Int, y: Int) {
// println("x = $x y = $y")
}
}
fun main() {
Impl().some()
}
@@ -0,0 +1,21 @@
FILE: defaultParametersFromDifferentScopes.kt
public abstract interface Foo : R|kotlin/Any| {
public abstract fun some(x: R|kotlin/Int| = Int(1), y: R|kotlin/Int|): R|kotlin/Unit|
}
public abstract interface Bar : R|kotlin/Any| {
public abstract fun some(x: R|kotlin/Int|, y: R|kotlin/Int| = Int(2)): R|kotlin/Unit|
}
public final class Impl : R|Foo|, R|Bar| {
public constructor(): R|Impl| {
super<R|kotlin/Any|>()
}
public final override fun some(x: R|kotlin/Int|, y: R|kotlin/Int|): R|kotlin/Unit| {
}
}
public final fun main(): R|kotlin/Unit| {
R|/Impl.Impl|().R|/Impl.some|()
}
@@ -1744,6 +1744,11 @@ public class FirDiagnosticsTestGenerated extends AbstractFirDiagnosticsTest {
runTest("compiler/fir/analysis-tests/testData/resolve/problems/complexLambdaWithTypeVariableAsExpectedType.kt");
}
@TestMetadata("defaultParametersFromDifferentScopes.kt")
public void testDefaultParametersFromDifferentScopes() throws Exception {
runTest("compiler/fir/analysis-tests/testData/resolve/problems/defaultParametersFromDifferentScopes.kt");
}
@TestMetadata("definitelyNotNullAndOriginalType.kt")
public void testDefinitelyNotNullAndOriginalType() throws Exception {
runTest("compiler/fir/analysis-tests/testData/resolve/problems/definitelyNotNullAndOriginalType.kt");
@@ -1744,6 +1744,11 @@ public class FirDiagnosticsWithLightTreeTestGenerated extends AbstractFirDiagnos
runTest("compiler/fir/analysis-tests/testData/resolve/problems/complexLambdaWithTypeVariableAsExpectedType.kt");
}
@TestMetadata("defaultParametersFromDifferentScopes.kt")
public void testDefaultParametersFromDifferentScopes() throws Exception {
runTest("compiler/fir/analysis-tests/testData/resolve/problems/defaultParametersFromDifferentScopes.kt");
}
@TestMetadata("definitelyNotNullAndOriginalType.kt")
public void testDefinitelyNotNullAndOriginalType() throws Exception {
runTest("compiler/fir/analysis-tests/testData/resolve/problems/definitelyNotNullAndOriginalType.kt");