lil enhancement

AVSystem · Jun 24, 2024 · 0c3b54c · 0c3b54c
1 parent da13377
commit 0c3b54c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/analyzer/src/main/scala/com/avsystem/commons/analyzer/ThrownExceptionNotInFunction.scala b/analyzer/src/main/scala/com/avsystem/commons/analyzer/ThrownExceptionNotInFunction.scala
@@ -8,9 +8,9 @@ final class ThrownExceptionNotInFunction(g: Global) extends AnalyzerRule(g, "thr
   import global.*
 
   def analyze(unit: CompilationUnit): Unit = unit.body.foreach(analyzeTree {
-    case Apply(f: TypeApply, args: List[Tree]) =>
+    case Apply(f: Tree, args: List[Tree]) =>
       args.zip(f.tpe.params).foreach {
-        case (arg: Throw, param) if definitions.isFunctionType(param.tpe) =>
+        case (arg, param) if definitions.isFunctionType(param.tpe) && arg.tpe <:< definitions.NothingTpe =>
           report(arg.pos, "exception thrown in place of function definition")
         case (_, _) =>
       }

diff --git a/analyzer/src/test/scala/com/avsystem/commons/analyzer/ThrownExceptionNotInFunctionTest.scala b/analyzer/src/test/scala/com/avsystem/commons/analyzer/ThrownExceptionNotInFunctionTest.scala
@@ -20,7 +20,7 @@ final class ThrownExceptionNotInFunctionTest extends AnyFunSuite with AnalyzerTe
         |  f0(throw ex)
         |
         |  //ok
-//        |  f0(identity)
+        |  f0(identity)
         |}""".stripMargin)
   }