Skip to content

Remove redundant is_dyn_thread_safe checks#153776

Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
zetanumbers:curry-howard-dyn-thread-safe
Mar 20, 2026
Merged

Remove redundant is_dyn_thread_safe checks#153776
rust-bors[bot] merged 2 commits intorust-lang:mainfrom
zetanumbers:curry-howard-dyn-thread-safe

Commits

Commits on Mar 17, 2026