Skip to content

Outline part of evaluate_goal_raw into its own #[cold] function#158042

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jdonszelmann:cold-ev-goal
Jun 18, 2026
Merged

Outline part of evaluate_goal_raw into its own #[cold] function#158042
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
jdonszelmann:cold-ev-goal