Skip to content

Register all clauses of DefKind::Fn as obligations - #161319

Draft
lumi-me-not wants to merge 6 commits into
rust-lang:mainfrom
lumi-me-not:check-fn-clauses
Draft

Register all clauses of DefKind::Fn as obligations#161319
lumi-me-not wants to merge 6 commits into
rust-lang:mainfrom
lumi-me-not:check-fn-clauses

tests: fix a few of the ui tests that were broken by check_function_c…

77e3fd2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Aug 27, 2026 in 48s