The examples and discussion in the Transient doc string related to implementing the trait for types with generic type parameters suggests using T::Transience in the implementing types Transience, but neglects consideration for types that are contravariant or invariant with respect to the type parameter (as discussed in Issue #5). Now that PR #8 has introduced a mechanism for declaring variances for type parameters, the Transient docstring should be updated to discuss and provide examples of this.
It will be a few days before I can get around to this, so I am opening this issue as a reminder.
The examples and discussion in the
Transientdoc string related to implementing the trait for types with generic type parameters suggests usingT::Transiencein the implementing typesTransience, but neglects consideration for types that are contravariant or invariant with respect to the type parameter (as discussed in Issue #5). Now that PR #8 has introduced a mechanism for declaring variances for type parameters, theTransientdocstring should be updated to discuss and provide examples of this.It will be a few days before I can get around to this, so I am opening this issue as a reminder.