Re: [rust-dev] Expected fields in traits

2014-04-17 Thread Marvin Löbel
Hi, Im actually working on a more detailed version of this proposal myself, covering more of the problem space (thin pointer, implications, etc). However, I hadn't yet considered the possibility of remapping the fields, instead assuming a simple same-name prefix restriction. Would you mind me

Re: [rust-dev] Expected fields in traits

2014-04-17 Thread Tommi
On 2014-04-17, at 11:25, Marvin Löbel loebel.mar...@gmail.com wrote: Would you mind me taking this RFC over and including it into my proposal? Yes please, by all means. I'm looking forward to your proposal. But actually I just realized that my proposal is essentially just a syntax sugar for a

[rust-dev] Expected fields in traits

2014-04-16 Thread Tommi
I can't figure out how GitHub works, so can someone please commit the following RFC, thank you: - Start Date: 2014-04-17 - RFC PR #: - Rust Issue #: # Summary Add the ability to specify that a type, which implements a certain trait, must have certain set of fields (data members) of certain