Skip to content

Cleanup rustc_mir_build/../check_match.rs#117343

Merged
bors merged 10 commits into
rust-lang:masterfrom
Nadrieril:cleanup_check_match
Nov 4, 2023
Merged

Cleanup rustc_mir_build/../check_match.rs#117343
bors merged 10 commits into
rust-lang:masterfrom
Nadrieril:cleanup_check_match

Tweak spans for "adt defined here" note

746197c
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs