1 files changed, 0 insertions, 26 deletions
diff --git a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
deleted file mode 100644
index c46360afa..000000000
--- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
+++ /dev/null
@@ -1,26 +0,0 @@
-package dotty.tools.dotc.interfaces;
-
-import java.util.Optional;
-
-/** A diagnostic is a message emitted during the compilation process.
- *
- *  It can either be an error, a warning or an information.
- *
- *  User code should not implement this interface, but it may have to
- *  manipulate objects of this type.
- */
-public interface Diagnostic {
-  public static final int ERROR = 2;
-  public static final int WARNING = 1;
-  public static final int INFO = 0;
-
-  /** @return The message to report */
-  String message();
-
-  /** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */
-  int level();
-
-  /** @return The position in a source file of the code that caused this diagnostic
-   *  to be emitted. */
-  Optional<SourcePosition> position();
-}