Recorded callable

<either::Either as From<core::result::Result<R, L>>>::from

Named in an author’s verification record. Signature and safety are not independently recorded.

Claims (1)

Claim #29 — Verification of <either::Either as From<core::result::Result<R, L>>>::from (with Aeneas be86ab0f1989d04944292b345b24c435be3ad10a)

<either::Either as From<core::result::Result<R, L>>>::from

Either branch operations, payload conversions and conditional composition · v8 · 0 comments · nyuichi