Warning for inlining Signature for

[thomas-lamiaux]

A warning

Automatically inlined signature for type vec. Use [Derive Signature for vec.] to avoid this.

Is triggered when deriving NoConfusionHom but not when deriving NoConfusion. I would have expected the opposite.

Further, is there even a need for a warning ? I would expect users not to have to derive Signature as it exposes the internal interface which users should not have to care about ?