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

Commits

Commits on Aug 18, 2026

Commits on Aug 19, 2026

Commits on Aug 27, 2026