resolve: Minor cleanup to fn resolve_path_with_ribs#112892
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 21, 2023
Merged
resolve: Minor cleanup to fn resolve_path_with_ribs#112892bors merged 1 commit intorust-lang:masterfrom
fn resolve_path_with_ribs#112892bors merged 1 commit intorust-lang:masterfrom
