1 files changed, 3 insertions, 0 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
index ed1c37b1c..e62c1193e 100644
--- a/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
+++ b/interfaces/src/main/java/dotty/tools/dotc/interfaces/Diagnostic.java
@@ -20,6 +20,9 @@ public interface Diagnostic {
   /** @return The message to report */
   String message();
 
+  /** @return The explanation behind the message */
+  String explanation();
+
   /** @return Level of the diagnostic, can be either ERROR, WARNING or INFO */
   int level();