Skip to content

Remove some unchecked_claim_error_was_emitted calls - #120735

Merged
bors merged 6 commits into
rust-lang:masterfrom
nnethercote:rm-some-unchecked_claims
Feb 7, 2024
Merged

bors merged 6 commits into
rust-lang:masterfrom
nnethercote:rm-some-unchecked_claims

Rename `unchecked_claim_error_was_emitted` as `unchecked_error_guaran…

6889fe3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs