pub fn semver_check(resolve: Resolve, prev: WorldId, new: WorldId) -> Result<()>
Available on crate feature
semver-check
only.Expand description
Tests whether new
is a semver-compatible upgrade from the world prev
.
This function is will test whether a WIT-level semver-compatible predicate
holds. Internally this will ignore all versions associated with packages and
will instead test for structural equality between types and such. For
example new
is allowed to have more imports and fewer exports, but types
and such must have the exact same structure otherwise (e.g. function params,
record fields, etc).