1
58%
main: 58%

Ran 04 Dec 2025 10:51AM UTC

Files 177

Run time 6s

Badge

Embed ▾

Committed 04 Dec 2025 10:49AM UTC coverage: 57.31% (+0.2%) from 57.159%

Job # 19926359739.1

Build Type

push

github

Committed by

fasterthanlime

Commit Message

feat(facet-value): add extensible Other type with VQName and VUuid

Implements issue #1038: Extensible 'Other' type for facet-value.

This adds an extensible type system using the reserved tag 7 slot:
- OtherKind enum with secondary discriminant on the heap (u8)
- VQName: qualified name (namespace + local name) for XML support
- VUuid: 128-bit UUID for semantic identity preservation

Changes:
- Add TypeTag::Other = 7 to value.rs
- Add ValueType::QName and ValueType::Uuid
- Add DynValueKind::QName and DynValueKind::Uuid to facet-core
- Add is_qname, is_uuid, as_qname, as_uuid methods to Value
- Update Clone, Drop, PartialEq, PartialOrd, Hash, Debug for new types
- Update Destructured enums for pattern matching
- Update facet-pretty, facet-assert, facet-diff for new kinds

This preserves performance for common types while enabling unlimited
future extensibility via the OtherKind discriminant.

Run Details

21948 of 38297 relevant lines covered (57.31%)

507.87 hits per line

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

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 19926359739.1

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

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 19926359739.1

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

README BADGES
x