facet-rs / facet / 19986940450

58%

Build Type

push

github

Committed by fasterthanlime

Commit Message

feat(facet-reflect): make Peek covariant over 'facet lifetime

This allows `Peek<'mem, 'static>` to be used where `Peek<'mem, 'a>` is
expected, which is useful when mixing static and borrowed values.

Covariance is safe here because:
1. It only allows shrinking lifetimes ('static -> 'a), not growing
2. Data valid for 'static is valid for any shorter lifetime
3. The 'mem lifetime and borrow checker prevent references from escaping

Note: Partial remains invariant because it writes data, requiring the
stricter lifetime bound.

Closes discussion #1128

Run Details

3 of 3 new or added lines in 1 file covered. (100.0%)

5 existing lines in 1 file now uncovered.

24008 of 40896 relevant lines covered (58.71%)

498.75 hits per line