Variables and fields in generics

[shingtaklam1324]

So I'm assuming what you mean is like what Go has for interface? There has been RFCs discussing using a struct's field in Traits, but that was a while ago and I'm not aware of any recent activity.

What do you mean by variables? Like class variables in Ruby? Rust doesn't have those.

Fields in Traits

It also effectively prevents enums from implementing the trait. I’d like to see some way to weasel oneself out from the necessity of a there to be an actual backing field – even if it were unsafe: one could override the “fieldness” with an unsafe implicitly called method that returned a reference to a memory location, and the unsafe code promises not to have side-effects and that the memory location is disjunct from other memory locations provided by the other fields. Of course this is just a st…

is the previous dicussion on this, highlighting the currently many downsides to it.