Supertraits do not recognise that their subtraits are implemented if this depends on a trait bound on a generic.

[TomAFrench]

This is a retrospective issue for a bug which is no longer in master.

In Noir 0.36.0, if a trait (trait A) which is a supertrait of another trait (trait B) which is only implemented on a generic type if type over which it is generic implements yet another trait (trait C) then an implementation of trait A with a trait bound such that trait C is implemented will fail to recognise that this implies that trait B is also implemented.

This caused the CI failures in noir-lang/noir-edwards#9.