Support Trait Inheritance

[sirasistant]

Problem

We'd like to be able to define a trait as a combination of other traits.

Happy Case

The following syntax should compile:

trait Backend: SmartContract + ProofSystemCompiler + Default + Debug {}

Alternatives Considered

It can be worked around by creating a blanket implementation for the trait Backend for all types that implement SmartContract + ProofSystemCompiler + Default + Debug but it's not ideal.

Another workaround is to have each function with a T: Backend bound replaced with the inherited bounds instead: T: SmartContract + ProofSystemCompiler + Default + Debug

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response