Clarify how "ensure" queries check whether they can skip execution#153033
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 24, 2026
Merged
Clarify how "ensure" queries check whether they can skip execution#153033rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rust-bors[bot] merged 1 commit intorust-lang:mainfrom
