Skip to content
CI

feat: new type solver #82

Sign in to view logs

feat: new type solver

feat: new type solver #82

Triggered via pull request March 2, 2026 11:32
@andogqandogq
opened #12
feat/new-type-solver
Status Failure
Total duration 29m 4s
Artifacts 1

ci.yaml

on: pull_request
test
2m 38s
test
clippy
1m 54s
clippy
spell-check
6s
spell-check
cargo-mutants
29m 0s
cargo-mutants
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 10 warnings
clippy
Process completed with exit code 101.
cargo-mutants
Process completed with exit code 2.
Missed mutant: src/passes/thir_gen_2/mod.rs#L225
replace == with != in UnificationTable::unify
Missed mutant: src/passes/thir_gen.rs#L119
replace ThirGen<'ctx, 'hir>::add_trait_implementation with ()
Missed mutant: src/ir/thir.rs#L19
replace <impl Deref for Thir<'_>>::deref -> &Self::Target with Box::leak(Box::new(Default::default()))
Missed mutant: src/ty/mod.rs#L58
delete match arm Self::Boolean in Type<T>::cast_primitive
Missed mutant: src/ty/mod.rs#L57
delete match arm Self::U8 in Type<T>::cast_primitive
Missed mutant: src/ty/mod.rs#L56
delete match arm Self::I8 in Type<T>::cast_primitive
Missed mutant: src/ty/mod.rs#L55
delete match arm Self::Never in Type<T>::cast_primitive
Missed mutant: src/ty/mod.rs#L54
replace Type<T>::cast_primitive -> Option<Type<U>> with None
Missed mutant: src/ty/mod.rs#L49
replace Type<T>::is_primitive -> bool with false
Missed mutant: src/ty/mod.rs#L49
replace Type<T>::is_primitive -> bool with true

Artifacts

Produced during runtime
Name Size Digest
mutants-out Expired
2.68 MB
sha256:4deb49902af4f7f4b1c658ed3ac95aa27a09311d150fcfa0f98fbe1256df5981