Quoting the article: > […] the import uniqueness rule: different packages must have different import paths. […] Cargo allows partial code upgrades by giving up

Quoting the article: > […] the import uniqueness rule: different packages must have different import paths. […] Cargo allows partial code upgrades by giving up import uniqueness. > The constraints of Cargo and Dep make version selection equivalent to solving Boolean satisfiability, meaning it can be very expensive to determine whether a valid version configuration even exists. > eliminates the need for separate lock and manifest files. Note that Cargo is seen as a "gold standard" approach here, upon which rsc is trying to improve.