Update compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala

nicolasstucki · smarter · web-flow · commit 4e4bf207fd52 · 2023-01-23T17:18:16.000+01:00
Co-authored-by: Guillaume Martres &lt;smarter@ubuntu.com&gt;
diff --git a/compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala b/compiler/src/dotty/tools/dotc/transform/PCPCheckAndHeal.scala
@@ -179,7 +179,7 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(
    *  - If a type reference is used a higher level, then it is inconsistent.
    *    Will attempt to heal before failing.
    *  - If a term reference is used a higher level, then it is inconsistent.
-   *    It can not be healed because the term will not exists in the any future stage.
+   *    It cannot be healed because the term will not exist in any future stage.
    *
    *  If `T` is a reference to a type at the wrong level, try to heal it by replacing it with
    *  a type tag of type `quoted.Type[T]`.

Original file line number	Diff line number	Diff line change
`@@ -179,7 +179,7 @@ class PCPCheckAndHeal(@constructorOnly ictx: Context) extends TreeMapWithStages(`
`179`	`179`	`* - If a type reference is used a higher level, then it is inconsistent.`
`180`	`180`	`* Will attempt to heal before failing.`
`181`	`181`	`* - If a term reference is used a higher level, then it is inconsistent.`
`182`		`- * It can not be healed because the term will not exists in the any future stage.`
	`182`	`+ * It cannot be healed because the term will not exist in any future stage.`
`183`	`183`	`*`
`184`	`184`	* If `T` is a reference to a type at the wrong level, try to heal it by replacing it with
`185`	`185`	* a type tag of type `quoted.Type[T]`.