---

yaml
---
r: 208501
b: refs/heads/snap-stage3
c: 588777f
h: refs/heads/master
i:
  208499: 87030cd
v: v3

Author: Nick Hamann

[refs]

@@ -1,7 +1,7 @@
 ---
 refs/heads/master: 38a97becdf3e6a6157f6f7ec2d98ade8d8edc193
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
-refs/heads/snap-stage3: d636b5cf659771d74a5e225b751898f69a35ae9a
+refs/heads/snap-stage3: 588777f5471db2d03b5a376efbc21c1dc10fc364
 refs/heads/try: 7b4ef47b7805a402d756fb8157101f64880a522f
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/dist-snap: ba4081a5a8573875fed17545846f6f6902c8ba8d

branches/snap-stage3/src/librustc_typeck/diagnostics.rs

@@ -65,9 +65,8 @@ impl Foo for Bar {
 "##,
 
 E0053: r##"
-In a trait method implementation, the function signature must match exactly.
-This error indicates a mutability mismatch between a trait method signature
-and the signature of the implementation.
+For any given method of a trait, the mutabilities of the parameters must match
+between the trait definition and the implementation.
 
 Here's an example where the mutability of the `self` parameter is wrong:
 
@@ -130,13 +129,13 @@ exactly once.
 "##,
 
 E0066: r##"
-Box placement expressions (like C++'s "placement new") do not support any
+Box placement expressions (like C++'s "placement new") do not yet support any
 place expression except the exchange heap (i.e. `std::boxed::HEAP`).
-Furthermore, the syntax is changing to use `in` instead of `box`. See [RFC
-470][rfc470] and [RFC 809][rfc809] for more details.
+Furthermore, the syntax is changing to use `in` instead of `box`. See [RFC 470]
+and [RFC 809] for more details.
 
-[rfc470]: https://github.com/rust-lang/rfcs/pull/470
-[rfc809]: https://github.com/rust-lang/rfcs/pull/809
+[RFC 470]: https://github.com/rust-lang/rfcs/pull/470
+[RFC 809]: https://github.com/rust-lang/rfcs/pull/809
 "##,
 
 E0067: r##"