feat: new type solver #85
andogqci.yaml
on: pull_request
test
2m 28s
clippy
2m 15s
spell-check
5s
cargo-mutants
23m 51s
Annotations
1 error and 7 warnings
|
cargo-mutants
Process completed with exit code 2.
|
|
Missed mutant:
src/passes/thir_gen/unification_table.rs#L220
delete match arm (CompositeType::Tuple(lhs_fields), CompositeType::Tuple(rhs_fields)) in UnificationTable::unify
|
|
Missed mutant:
src/passes/thir_gen/unification_table.rs#L199
delete match arm (CompositeType::Function{parameters:lhs_parameters, return_ty:lhs_return_ty,}, CompositeType::Function{parameters:rhs_parameters, return_ty:rhs_return_ty,},) in UnificationTable::unify
|
|
Missed mutant:
src/util/scopes.rs#L58
replace <impl PartialOrd for BindingId<B>>::partial_cmp -> Option<std::cmp::Ordering> with None
|
|
Missed mutant:
src/util/scopes.rs#L35
replace <impl Id for BindingId<B>>::into_id -> usize with 1
|
|
Missed mutant:
src/util/scopes.rs#L35
replace <impl Id for BindingId<B>>::into_id -> usize with 0
|
|
Missed mutant:
src/passes/thir_gen/mod.rs#L282
delete match arm ExpressionKind::Call(call) in InferenceCtx<'hir, 'ty>::check
|
|
Missed mutant:
src/passes/thir_gen/mod.rs#L258
delete match arm Solution::Unknown in InferenceCtx<'hir, 'ty>::process_obligations
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
mutants-out
Expired
|
1.95 MB |
sha256:8d9eed2d0a4e4b29c7057031a4d2be7a24a166759622b87516004fccea7e5ff1
|
|