Lib.rs

Cargo Features

[dependencies]
swift-check = { version = "0.2.1", default-features = false, features = ["std", "simd", "ensure-simd", "experimental", "require", "verify"] }

default = simd

The simd feature is set by default whenever swift-check is added without default-features = false somewhere in the dependency tree.

std

simd default ensure-simd?

ensure-simd = simd

experimental

require

Affects fallback_scan::ensure_requirements, simd_scan::ensure_requirements, swift-check::require…

verify = contracts, mirai-annotations

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

mirai-annotations verify?

contracts verify?