IDEA-120784 "Class is public should be declared in a file named <Classname>.java" for inner interface

This commit is contained in:
Alexey Kudravtsev
2014-02-18 13:55:52 +04:00
parent 65642d998f
commit c7b78f76a2
309 changed files with 381 additions and 364 deletions
@@ -1,4 +1,4 @@
public interface Iso<T, R> {
interface Iso<T, R> {
T deply(R r);
default Iso<R, T> inverse() {
@@ -1,4 +1,4 @@
public interface Nat {
interface Nat {
interface Nil extends Nat {}
}