feat: new type solver · andogq/lumina2@1293ed7

Triggered via pull request March 7, 2026 11:31

andogq

synchronize #12

feat/new-type-solver

Status Failure

Total duration 23m 1s

Artifacts 1

ci.yaml

on: pull_request

1 error and 5 warnings

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

Produced during runtime

Name	Size	Digest
mutants-out Expired	1.97 MB	`sha256:93b95b5209cc4d3480a2325bd189012992a0e658ca3b873f17e7dba72a7ea32d`