{"id":"GHSA-48m6-wm5p-rr6h","aliases":["RUSTSEC-2023-0070"],"url":"https://o3.security/vulnerability/GHSA-48m6-wm5p-rr6h","summary":"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`.","published":"2023-11-14T18:32:20Z","modified":"2024-02-10T16:26:48.155893Z","cvss":null,"epss":null,"cisaKev":null,"exploitsKnown":0,"affectedPackages":[{"ecosystem":"crates.io","name":"self_cell","fixedVersion":"0.10.3"},{"ecosystem":"crates.io","name":"self_cell","fixedVersion":"1.0.2"}],"fix":null,"references":[{"type":"WEB","url":"https://github.com/Voultapher/self_cell/issues/49"},{"type":"PACKAGE","url":"https://github.com/Voultapher/self_cell"},{"type":"WEB","url":"https://rustsec.org/advisories/RUSTSEC-2023-0070.html"}],"provenance":{"sources":["OSV.dev","FIRST.org (EPSS)"],"lastVerified":"2024-02-10T16:26:48.155893Z"}}