num-conv 0.2.2

README badge

Claims in public reports for version 0.2.2.

[![proofs.rs](https://img.shields.io/endpoint?url=https%3A%2F%2Fproofs.rs%2Fapi%2Fv1%2Fcrates%2Fnum-conv%2F0.2.2%2Fbadge)](https://proofs.rs/crate/num-conv?version=0.2.2)

`num_conv` is a crate to convert between integer types without using `as` casts. This provides better certainty when refactoring, makes the exact behavior of code more explicit, and allows using turbofish syntax.

crates.io

Reports (1)

#14 num-conv 0.2.2 integer conversion correctness

Aeneas be86ab0 · 5 claims · MasWag · 2026-11-03

Findings (0)

For version 0.2.2. Statuses are author reported.

No findings reported for this version.

APIs (20)

APIs are imported from documentation or named in published verification records. 5 have at least one claim; a count says nothing about how strong each claim is.

APIClaims · findings

Functions

No functions.

Associated functions

No associated functions.

Methods

No inherent methods.

Traits

`trait Extend`

pub fn extend<T>(self: Self) -> T where Self: ExtendTarget<T>—

`trait Truncate`

pub fn checked_truncate<T>(self: Self) -> Option<T> where Self: TruncateTarget<T>—

pub fn saturating_truncate<T>(self: Self) -> T where Self: TruncateTarget<T>—

pub fn truncate<T>(self: Self) -> T where Self: TruncateTarget<T>—

`trait Widen`

pub fn widen<T>(self: Self) -> T where Self: WidenTarget<T>—

`trait prelude::_`

pub fn checked_truncate<T>(self: Self) -> Option<T> where Self: TruncateTarget<T>—

pub fn extend<T>(self: Self) -> T where Self: ExtendTarget<T>—

pub fn saturating_truncate<T>(self: Self) -> T where Self: TruncateTarget<T>—

pub fn truncate<T>(self: Self) -> T where Self: TruncateTarget<T>—

pub fn widen<T>(self: Self) -> T where Self: WidenTarget<T>—

Trait implementations

`impl num_conv::Extend for T`

pub fn extend(self: Self) -> U where T: ExtendTarget1 claim

`impl num_conv::Truncate for T`

pub fn checked_truncate(self: Self) -> Option where T: TruncateTarget1 claim

pub fn saturating_truncate(self: Self) -> U where T: TruncateTarget1 claim

pub fn truncate(self: Self) -> U where T: TruncateTarget1 claim

`impl num_conv::Widen for T`

pub fn widen(self: Self) -> U where T: WidenTarget1 claim

`impl num_conv::prelude::_ for T`

pub fn checked_truncate(self: Self) -> Option where T: TruncateTarget—

pub fn extend(self: Self) -> U where T: ExtendTarget—

pub fn saturating_truncate(self: Self) -> U where T: TruncateTarget—

pub fn truncate(self: Self) -> U where T: TruncateTarget—

pub fn widen(self: Self) -> U where T: WidenTarget—