Skip to content

Remove outdated comment for resolve_vars_with_obligations - #159761

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
chenyukang:yukang-remove-outdated-comment-in-typeck
Jul 24, 2026
Merged

Remove outdated comment for resolve_vars_with_obligations#159761
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
chenyukang:yukang-remove-outdated-comment-in-typeck