Allow try expression without catch or finally, issue warning

2 files changed, 14 insertions, 2 deletions

diff --git a/src/dotty/tools/dotc/parsing/Parsers.scala b/src/dotty/tools/dotc/parsing/Parsers.scala
index 378aa6ed7..4bc706436 100644
--- a/src/dotty/tools/dotc/parsing/Parsers.scala
+++ b/src/dotty/tools/dotc/parsing/Parsers.scala
@@ -1010,8 +1010,13 @@ object Parsers {
               expr()
             } else EmptyTree
           val finalizer =
-            if (handler.isEmpty || in.token == FINALLY) { accept(FINALLY); expr() }
-            else EmptyTree
+            if (in.token == FINALLY) { accept(FINALLY); expr() }
+            else {
+              if (handler.isEmpty)
+                warning("A try without `catch` or `finally` is equivalent to putting its body in a block; no exceptions are handled.")
+
+              EmptyTree
+            }
           ParsedTry(body, handler, finalizer)
         }
       case THROW =>
diff --git a/tests/pos/tryWithoutHandler.scala b/tests/pos/tryWithoutHandler.scala
new file mode 100644
index 000000000..ffe334984
--- /dev/null
+++ b/tests/pos/tryWithoutHandler.scala
@@ -0,0 +1,7 @@
+object Test {
+  def main(args: Array[String]): Unit = {
+    try {
+      println("hello")
+    }
+  }
+}