Remove unnecessary guard

nicolasstucki · WojciechMazur · commit 719fdd998009 · 2024-06-24T23:36:43.000+02:00
[Cherry-picked 1e7243a]
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala
@@ -1139,9 +1139,8 @@ class Definitions {
      *  Extracts the list of function argument types, the result type and whether function is contextual.
      */
     def unapply(tpe: AppliedType)(using Context): Option[(List[Type], Type, Boolean)] = {
-      val targs = tpe.args
-      if targs.isEmpty || !isFunctionNType(tpe) then None
-      else Some(targs.init, targs.last, tpe.typeSymbol.name.isContextFunction)
+      if !isFunctionNType(tpe) then None
+      else Some(tpe.args.init, tpe.args.last, tpe.typeSymbol.name.isContextFunction)
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -1139,9 +1139,8 @@ class Definitions {`
`1139`	`1139`	`* Extracts the list of function argument types, the result type and whether function is contextual.`
`1140`	`1140`	`*/`
`1141`	`1141`	`def unapply(tpe: AppliedType)(using Context): Option[(List[Type], Type, Boolean)] = {`
`1142`		`- val targs = tpe.args`
`1143`		`- if targs.isEmpty \|\| !isFunctionNType(tpe) then None`
`1144`		`- else Some(targs.init, targs.last, tpe.typeSymbol.name.isContextFunction)`
	`1142`	`+ if !isFunctionNType(tpe) then None`
	`1143`	`+ else Some(tpe.args.init, tpe.args.last, tpe.typeSymbol.name.isContextFunction)`
`1145`	`1144`	`}`
`1146`	`1145`	`}`
`1147`	`1146`