Fix findFunctionType for OrTypes

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -1690,14 +1690,20 @@ object Types {
      *  is returned. If no function type is found, Any is returned.
      */
     def findFunctionType(using Context): Type = dealias match
-      case tp: AndOrType =>
+      case tp: AndType =>
         tp.tp1.findFunctionType & tp.tp2.findFunctionType
+      case tp: OrType =>
+        val tf1 = tp.tp1.findFunctionType
+        val tf2 = tp.tp2.findFunctionType
+        if !tf1.exists then tf2
+        else if !tf2.exists then tf1
+        else NoType
       case t if defn.isNonRefinedFunction(t) =>
         t
       case t @ SAMType(_) =>
         t
       case _ =>
-        defn.AnyType
+        NoType
 
     /** This type seen as a TypeBounds */
     final def bounds(using Context): TypeBounds = this match {

tests/neg/i11694.scala

@@ -5,8 +5,8 @@ def test1 = {
   def f21: (Int => Int) | Null = x => x + 1
   def f22: Null | (Int => Int) = x => x + 1
 
-  def f31: (Int => Int) | (Int => Int) = x => x + 1
-  def f32: (Int => Int) | (Int => Int) | Unit = x => x + 1
+  def f31: (Int => Int) | (Int => Int) = x => x + 1  // error
+  def f32: (Int => Int) | (Int => Int) | Unit = x => x + 1 // error
 
   def f41: (Int => Int) & (Int => Int) = x => x + 1
   def f42: (Int => Int) & (Int => Int) & Any = x => x + 1

tests/pos/i15460.scala

@@ -0,0 +1,5 @@
+type C = (() => Int) | (() => String)
+
+def foo(c: C): Unit = ()
+
+val _ = foo(() => 1)