Make generic parameter requirements more flexible for custom derive

dimforge / alga

Abstract algebra for Rust.

194 stars 39 forks source link

Make generic parameter requirements more flexible for custom derive #14

Open WaDelma opened 7 years ago

WaDelma commented 7 years ago

Currently generic parameter requirement affect the algebraic trait and all it's super traits.

Most simple way of fixing this would be to allow different where clauses for subtraits, but this would be cumbersome.

WaDelma commented 7 years ago

Could this be fixed by finding alga trait were implementing right now from the where clause and then stepping the dependency hierarchy up when implementing traits? Is there use cases where this would break down?