Skip to content

Commit 9f665b5

Browse files
noti0na1bracevac
andcommitted
Apply suggestions from code review
Co-authored-by: Oliver Bračevac <bracevac@users.noreply.github.com>
1 parent 3c7e419 commit 9f665b5

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

tests/neg/cc-poly-2.scala

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ object Test:
1010

1111
def test(c1: C, c2: C) =
1212
val d: D^ = D()
13-
// f[Nothing](d) // already rule out at typer
13+
// f[Nothing](d) // already ruled out at typer
1414
f[CapSet^{c1}](d) // error
1515
val x = f(d)
1616
val _: D^{c1} = x // error

tests/pos-custom-args/captures/cc-poly-varargs.scala

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@ def either[T1, T2, Cap^](
1313
val left = src1.transformValuesWith(Left(_))
1414
val right = src2.transformValuesWith(Right(_))
1515
race[Either[T1, T2], Cap](left, right)
16-
// Explcit type arguments are required here because the second argument
16+
// Explicit type arguments are required here because the second argument
1717
// is inferred as `CapSet^{Cap^}` instead of `Cap`.
18-
// Although `CapSet^{Cap^}` subsums `Cap` in terms of capture set,
18+
// Although `CapSet^{Cap^}` subsumes `Cap` in terms of capture sets,
1919
// `Cap` is not a subtype of `CapSet^{Cap^}` in terms of subtyping.

0 commit comments

Comments
 (0)