On Wed, Apr 16, 2014 at 01:10:23PM -0700, Corey Richardson wrote:
> What happens when you try to pack a trait which has a `fn foo(self:
> Gc<Self>)` into an object, given that the `Self` ought to be erased?

Good point, I didn't address objects. The answer is basically that
`Self` can only appear in the type of the first argument (same as
today). I'll add some more precise text in a future revision.