feat: new type solver #88
andogqci.yaml
on: pull_request
test
2m 13s
clippy
1m 52s
spell-check
6s
cargo-mutants
23m 44s
Annotations
1 error and 5 warnings
|
cargo-mutants
Process completed with exit code 2.
|
|
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
|
2.02 MB |
sha256:8664c13145f310027f78a810a6ee06cf253a444068bed5448eb056faa48b028b
|
|