Support generic traits

[jfecher]

Problem

While generics on trait methods and trait impls on generic types are working, generics on traits directly are not supported yet.

Happy Case

The following should execute successfully:

trait Into<Result> {
    fn into(self) -> Result;
}

impl Into<u32> for Field {
    fn into(self) -> u32 {
        self as u32
    }
}

impl Into<u64> for Field {
    fn into(self) -> u64 {
        self as u64
    }
}

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[sirasistant]

This would be especially useful to create a serialize trait:

trait Serialize<N> {
    fn serialize() -> [Field; N];
}

Which we have in many data structures