eagerly prove WF when resolving fully qualified paths#136928
Merged
bors merged 2 commits intorust-lang:masterfrom Feb 14, 2025
Merged
eagerly prove WF when resolving fully qualified paths#136928bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom