Update compiler/src/dotty/tools/dotc/typer/Namer.scala

odersky · web-flow · commit 5ea9a741315d · 2021-04-11T12:23:02.000+02:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Namer.scala b/compiler/src/dotty/tools/dotc/typer/Namer.scala
@@ -1485,7 +1485,7 @@ class Namer { typer: Typer =>
 
       /** The expected type for a default argument. This is normally the `defaultParamType`
        *  with references to internal parameters replaced by wildcards. This replacement
-       *  makes it possible that the default argument can be a more specific type than the
+       *  makes it possible that the default argument can have a more specific type than the
        *  parameter. For instance, we allow
        *
        *      class C[A](a: A) { def copy[B](x: B = a): C[B] = C(x) }

Original file line number	Diff line number	Diff line change
`@@ -1485,7 +1485,7 @@ class Namer { typer: Typer =>`
`1485`	`1485`
`1486`	`1486`	/** The expected type for a default argument. This is normally the `defaultParamType`
`1487`	`1487`	`* with references to internal parameters replaced by wildcards. This replacement`
`1488`		`- * makes it possible that the default argument can be a more specific type than the`
	`1488`	`+ * makes it possible that the default argument can have a more specific type than the`
`1489`	`1489`	`* parameter. For instance, we allow`
`1490`	`1490`	`*`
`1491`	`1491`	`* class C[A](a: A) { def copy[B](x: B = a): C[B] = C(x) }`