Skip to content

Commit

Permalink
Merge pull request #42 from ErichDonGubler/borrow-checker-rfc-229-foo…
Browse files Browse the repository at this point in the history
…tnote

fix(2024-06-02): correct formatting and broken link in RFC 2229/view types footnote
  • Loading branch information
nikomatsakis authored Jun 6, 2024
2 parents 5ded63f + c3ee5c6 commit 70ed7ab
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion content/blog/2024-06-02-the-borrow-checker-within.markdown
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,9 @@ impl WidgetFactory {

This allows the compiler to compile `count_widgets` just fine, since it can see that iterating over `self.widgets` while modifying `self.counter` is not a problem.[^2229]

[^2229]: In fact, view types will also allow us to implement the "disjoint closure capture" rules from [RFC 2229][] in a more efficient way. Currently a closure using `self.widgets` and `self.counter` will store 2 references, kind of an implicit "view struct". Although [we found this doesn't really affect much code in practice](https://rust-lang.zulipchat.com/#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/measure.20closure.20sizes)), it still bothers me. With view types they could store 1.
[^2229]: In fact, view types will also allow us to implement the "disjoint closure capture" rules from [RFC 2229][] in a more efficient way. Currently a closure using `self.widgets` and `self.counter` will store 2 references, kind of an implicit "view struct". Although [we found this doesn't really affect much code in practice](https://rust-lang.zulipchat.com/#narrow/stream/189812-t-compiler.2Fwg-rfc-2229/topic/measure.20closure.20sizes), it still bothers me. With view types they could store 1.

[RFC 2229]: https://rust-lang.github.io/rfcs/2229-capture-disjoint-fields.html

### View types also address phased initialization

Expand Down

0 comments on commit 70ed7ab

Please sign in to comment.