inherent impls

[nikomatsakis]

The current RFC only describes fields in traits, but -- particularly if we supported shared-only fields (#5) -- it'd be nice to support inherent impls too. Then one could expose a convenient shared-only view of your fields:

pub struct Foo {
   context: Context
}

impl Foo {
    pub let context = self.context; // shared-only view, accessible by anyone
}

Naturally we'd have to work out a few things: priority vis a vis regular fields, for example. In the example above, I'm assuming that we'd use the privacy of the regular field to determine its visibility (as we currently do for autoderef).

Interactions

• Shared-only fields (shared-only fields #5)