Skip to content

Move rustc_middle/src/ty/query.rs to rustc_middle/src/query/plumbing.rs#111625

Merged
bors merged 2 commits into
rust-lang:masterfrom
Zoxc:rustc_middle-query-move
May 17, 2023
Merged

Move rustc_middle/src/ty/query.rs to rustc_middle/src/query/plumbing.rs#111625
bors merged 2 commits into
rust-lang:masterfrom
Zoxc:rustc_middle-query-move

Finish move of query.rs

54b582a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs