Record inheritance

[Aluminium95]

It would be great to be able to do some thing like this :
type A = { a: int }; type B = {b: int} herit A;

So in factB = {a: int, b: int};

It could maybe replace an object model when combined with interfaces.

[catamorphism]

I think we're pretty firmly wedded to classes without inheritance at this point. Also, keeping our class design the way it is and adding records with inheritance sounds complex to me. Closing, reopen if anybody strongly opposes that.

[dobkeratops]

struct inheritance, single inheritance...
coming from C++, I've found myself missing simple single inheritance in rust.. the straightforward ability to have multiple structs with the same data prefix, no extra complexity for multiple inheritance with virtual bases. (i wouldn't ask for multiple inheritance with extra indirection going on)

I got the impression some of the rust compiler sourcecode is slightly complicated by its absence, eg situtaions where nodes share the same fields. (spans).. see spanned, then a series of duplicate symbols with _ prefixes like variant_ =spanned etc .. maybe i'm overlooking something
IMO single inheritance is simple from a low level perspective, just different records sharing the same data at the same offsets.. used to do it in ASM.

Would it create complex interactions eg with generics, inference, impls, traits ?