Skip to content

pattern analysis: rename a few types - #122434

Merged
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:renames
Mar 14, 2024
Merged

pattern analysis: rename a few types#122434
bors merged 3 commits into
rust-lang:masterfrom
Nadrieril:renames

Rename `RustcMatchCheckCtxt` -> `RustcPatCtxt`

f275406
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs