mirror of
https://github.com/jlengrand/kotlin.git
synced 2026-05-09 00:21:47 +00:00
17 lines
306 B
Java
Vendored
17 lines
306 B
Java
Vendored
package test;
|
|
|
|
import org.jetbrains.annotations.NotNull;
|
|
|
|
public interface NotNullToNullable {
|
|
|
|
public interface Super {
|
|
void foo(@NotNull String p);
|
|
|
|
void dummy(); // to avoid loading as SAM interface
|
|
}
|
|
|
|
public interface Sub extends Super {
|
|
void foo(String p);
|
|
}
|
|
}
|