Move rustc_middle/src/ty/query.rs to rustc_middle/src/query/plumbing.rs#111625
Merged
bors merged 2 commits intorust-lang:masterfrom May 17, 2023
Merged
Move rustc_middle/src/ty/query.rs to rustc_middle/src/query/plumbing.rs#111625bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom