---

yaml
---
r: 179651
b: refs/heads/master
c: 0a0aa11
h: refs/heads/master
i:
  179649: 02af31a
  179647: 426e6ed
v: v3

Author: pnkfelix

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: 0b1d5f01828fdb21e31071d149618d2e983342c5
+refs/heads/master: 0a0aa11bb1551ef3c0eda2a93d94077ba76b5150
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 0ba9e1fa52627404a1e5b90f745f96a872a0c564
 refs/heads/try: ccf8fedf1cffcb8f6f3581d53d220039e192fe77

trunk/src/librustc_privacy/lib.rs

@@ -898,6 +898,9 @@ impl<'a, 'tcx, 'v> Visitor<'v> for PrivacyVisitor<'a, 'tcx> {
             ast::ExprStruct(_, ref fields, _) => {
                 match ty::expr_ty(self.tcx, expr).sty {
                     ty::ty_struct(ctor_id, _) => {
+                        // RFC 736: ensure all unmentioned fields are visible.
+                        // Rather than computing the set of unmentioned fields
+                        // (i.e. `all_fields - fields`), just check them all.
                         let all_fields = ty::lookup_struct_fields(self.tcx, ctor_id);
                         for field in all_fields {
                             self.check_field(expr.span, ctor_id,