1
58%
main: 58%

Ran 08 Dec 2025 10:10AM UTC

Files 203

Run time 8s

Badge

Embed ▾

Committed 08 Dec 2025 10:08AM UTC coverage: 58.613% (+0.01%) from 58.6%

Job # 20024290994.1

Build Type

push

github

Committed by

fasterthanlime

Commit Message

feat: compute variance automatically from field types

This implements automatic variance computation for derived types:

- Change `Shape.variance` from `fn() -> Variance` to `fn(&'static Shape) -> Variance`
  to allow variance functions to walk type structure without capturing generics

- Add `Shape::computed_variance()` that walks struct fields, enum variants,
  and inner shapes (for Box, Vec, Option, etc.) to compute variance

- Use thread-local cycle detection to prevent stack overflow with recursive types.
  When a cycle is detected, returns `Covariant` (identity for `combine`)

- Update derive macros to use `.variance(Shape::computed_variance)`
  instead of generating per-type variance computation code

- Update `Box<T>` to use computed variance (depends on T's variance)
  instead of hardcoded `Invariant`

- Add variance tests for recursive types

Closes #1171

Run Details

24730 of 42192 relevant lines covered (58.61%)

544.95 hits per line

facet-rs / facet / 20024290994 / 1
58%
main: 58%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 20024290994.1

facet-rs / facet / 20024290994 / 1 58% main: 58%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 20024290994.1

facet-rs / facet / 20024290994 / 1
58%
main: 58%

README BADGES
x