Open
Description
We can create a subclass C of class B, but probably not if B is a subclass of A and A has virtual methods.
We could handle this one of two ways:
- (simple) When creating
B_methods
andB_super
we could just include all virtual methods from A; - We could create
A_methods
and have that as a trait bound onB_methods
. That's probably the right way to do stuff, but is a bit more complex to get right.