mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 08:31:29 +00:00
1933e30905
Basically, this commit splits test data from the from java-txt-kt to two pairs java-txt and kt-txt. This commit leads to some duplication in test data. This is temporary: in the platform types branch the test data for LoadJava tests will be changed dramatically, so duplication will go away
21 lines
591 B
Java
21 lines
591 B
Java
package test;
|
|
|
|
import org.jetbrains.annotations.NotNull;
|
|
import jet.runtime.typeinfo.KotlinSignature;
|
|
import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
|
|
|
|
public interface NotNullToNullable {
|
|
|
|
public interface Super {
|
|
void foo(@NotNull String p);
|
|
|
|
void dummy(); // to avoid loading as SAM interface
|
|
}
|
|
|
|
public interface Sub extends Super {
|
|
@ExpectLoadError("Auto type 'kotlin.String' is not-null, while type in alternative signature is nullable: 'String?'")
|
|
@KotlinSignature("fun foo(p: String?)")
|
|
void foo(String p);
|
|
}
|
|
}
|