From ad58323fb6e9a9c0bafa51db869168a084cee691 Mon Sep 17 00:00:00 2001 From: noti0na1 Date: Tue, 29 Oct 2024 17:40:05 +0100 Subject: [PATCH] Fix typo in the comment --- compiler/src/dotty/tools/dotc/cc/CaptureRef.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/cc/CaptureRef.scala b/compiler/src/dotty/tools/dotc/cc/CaptureRef.scala index 8676390eda04..590beda42903 100644 --- a/compiler/src/dotty/tools/dotc/cc/CaptureRef.scala +++ b/compiler/src/dotty/tools/dotc/cc/CaptureRef.scala @@ -124,10 +124,10 @@ trait CaptureRef extends TypeProxy, ValueType: || this.match case x @ TermRef(xpre: CaptureRef, _) if x.symbol == y.symbol => // To show `{x.f} <:< {y.f}`, it is important to prove `x` and `y` - // are equvalent, which means `x =:= y` in terms for subtyping, - // not just `{x} =:= {y}`. - // It is posible to construct two singleton types `x` and `y`, - // which subumse each other, but are not equal references. + // are equvalent, which means `x =:= y` in terms of subtyping, + // not just `{x} =:= {y}` in terms of subcapturing. + // It is possible to construct two singleton types `x` and `y`, + // which subsume each other, but are not equal references. // See `tests/neg-custom-args/captures/path-prefix.scala` for example. withMode(Mode.IgnoreCaptures) {TypeComparer.isSameRef(xpre, ypre)} case _ =>