VDB
Sign up
HIGH

GHSA-48m6-wm5p-rr6h

Insufficient covariance check makes self_cell unsound

Details

All public versions prior to `1.02` used an insufficient check to ensure that users correctly marked the dependent type as either `covariant` or `not_covariant`. This allowed users to mark a dependent as covariant even though its type was not covariant but invariant, for certain invariant types involving trait object lifetimes. One example for such a dependent type is `type Dependent<'a> = RefCell<Box<dyn fmt::Display + 'a>>`. Such a type allowed unsound usage in purely safe user code that leads to undefined behavior. The patched versions now produce a compile time error if such a type is marked as `covariant`.

Are you affected?

Enter the version of the package you're using.

Affected packages

crates.io/self_cell
Introduced in: 0Fixed in: 0.10.3

Upgrade self_cell to 0.10.3 or newer (ecosystem crates.io).

crates.io/self_cell
Introduced in: 1.0.0Fixed in: 1.0.2

Upgrade self_cell to 1.0.2 or newer (ecosystem crates.io).

References