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

odersky · web-flow · commit e1ddcedcfcda · 2022-06-20T14:03:06.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1686,7 +1686,7 @@ object Types {
     }
 
     /** Determine the expected function type from the prototype.
-     *  If no function type is found, Any is returned. If multiple
+     *  If no function type is found, NoType is returned. If multiple
      *  function types are found in an intersection, their intersection
      *  is returned. This works since `&` invokes `TypeComparer.distributeAnd`, which
      *  ensures that `(A1 => B1) & (A2 => B2)` simplifies to `(A1 | A2) => (B1 & B2)`,

Original file line number	Diff line number	Diff line change
`@@ -1686,7 +1686,7 @@ object Types {`
`1686`	`1686`	`}`
`1687`	`1687`
`1688`	`1688`	`/** Determine the expected function type from the prototype.`
`1689`		`- * If no function type is found, Any is returned. If multiple`
	`1689`	`+ * If no function type is found, NoType is returned. If multiple`
`1690`	`1690`	`* function types are found in an intersection, their intersection`
`1691`	`1691`	* is returned. This works since `&` invokes `TypeComparer.distributeAnd`, which
`1692`	`1692`	* ensures that `(A1 => B1) & (A2 => B2)` simplifies to `(A1 \| A2) => (B1 & B2)`,