Remove redundant calls to resolve_vars_with_obligations#114684
Merged
bors merged 2 commits intorust-lang:masterfrom Aug 10, 2023
Merged
Remove redundant calls to `resolve_vars_with_obligations`#114684bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom