Use ensure when the result of the query is not needed beyond its Resultness#120771
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 10, 2024
Merged
Use ensure when the result of the query is not needed beyond its Resultness#120771bors merged 1 commit intorust-lang:masterfrom
ensure when the result of the query is not needed beyond its Resultness#120771bors merged 1 commit intorust-lang:masterfrom