Skip to content

Commit 85f2584

Browse files
committed
Fix more typos in CC doc page
1 parent af832ba commit 85f2584

File tree

1 file changed

+1
-1
lines changed
  • docs/docs/reference/experimental

1 file changed

+1
-1
lines changed

docs/docs/reference/experimental/cc.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -438,7 +438,7 @@ is OK. But at the point of use, it is `*` (because `f` is no longer in scope), w
438438

439439
Looking at object graphs, we observe a monotonicity property: The capture set of an object `x` covers the capture sets of all objects reachable through `x`. This property is reflected in the type system by the following _monotonicity rule_:
440440

441-
- In a class `C` with a field `f`, the capture set `{this}` covers the capture set `{this.f}` as well as any application of the latter set to pure arguments.
441+
- In a class `C` with a field `f`, the capture set `{this}` covers the capture set `{this.f}` as well as the capture set of any application of `this.f` to pure arguments.
442442

443443
## Checked Exceptions
444444

0 commit comments

Comments
 (0)