feat: new type solver #86
andogqci.yaml
on: pull_request
test
2m 20s
clippy
1m 54s
spell-check
5s
cargo-mutants
23m 25s
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
|
1.97 MB |
sha256:63cebe0671bd4b51a5c16a374b4d110f956650863b0a9e73cd4360f5ad46ed41
|
|