Joshua Liebow-Feeser

Closes #274

Implement traits for tuples

2

Although we do not do so currently, it's valid to implement `FromZeroes` and `FromBytes` for tuples of any size, so long as all of the elements of those tuples also...

[CI] Check semver compatibility with all target platforms, not just the host platform

4

We use [`cargo-semver-checks-action`](https://github.com/obi1kenobi/cargo-semver-checks-action) in CI to ensure we do not accidentally break semver compatibility: https://github.com/google/zerocopy/blob/0ff2dd15c958ab615b8094cf273f6b37d113c8fa/.github/workflows/ci.yml#L244-L264 This check occurs within our build matrix, so it's re-run for each `target`: https://github.com/google/zerocopy/blob/0ff2dd15c958ab615b8094cf273f6b37d113c8fa/.github/workflows/ci.yml#L41-L53 However,...

Currently, most of zerocopy's abstractions don't work in a const context for one reason or another. We should change that as much as possible. This is a blocker for [ICU4X...

[ci] Separately track MSRV and MWRV

1

MWRV stands for "minimum working Rust version" (a term we invent here). It is the minimum version of the toolchain that we test with in CI. We maintain (and test)...

In order to test code which is conditionally-compiled on different versions of the Rust toolchain, we previously relied on the same infrastructure as the runtime code - `--cfg` arguments emitted...

[docs] Add yank log and update yank policy

1

Closes #238 Closes #679

Add axioms and lemmas which are useful in proving the soundness of some trait impls. Makes progress on #429

Makes progress on #429

DO NOT MERGE: We need to debug [this issue](https://github.com/rust-lang/rust/issues/48214#issuecomment-1774193270). The nightly `trivial_bounds` causes some derive-emitted code to compile which is designed to fail compilation. This commit adds a test that...