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

odersky · web-flow · commit 9a49bcfffcb8 · 2021-04-20T13:19:53.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -1890,7 +1890,7 @@ object Types {
 
     /** Same as superType, except for two differences:
      *   - opaque types are treated as transparent aliases
-     *   - applied type are matchtype-reduced if possible
+     *   - applied types are matchtype-reduced if possible
      *
      *  Note: the reason to reduce match type aliases here and not in `superType`
      *  is that `superType` is context-independent and cached, whereas matchtype

Original file line number	Diff line number	Diff line change
`@@ -1890,7 +1890,7 @@ object Types {`
`1890`	`1890`
`1891`	`1891`	`/** Same as superType, except for two differences:`
`1892`	`1892`	`* - opaque types are treated as transparent aliases`
`1893`		`- * - applied type are matchtype-reduced if possible`
	`1893`	`+ * - applied types are matchtype-reduced if possible`
`1894`	`1894`	`*`
`1895`	`1895`	* Note: the reason to reduce match type aliases here and not in `superType`
`1896`	`1896`	* is that `superType` is context-independent and cached, whereas matchtype