Commit 2025-09-01 17:39 2b95c333

View on Github →

chore: remove rw_search tactic (#29196) This is already broken on v4.23.0 (apparently due to an unsoundness issue in the unsafe definitions used in implementing MLList in Batteries, but we're not really certain), and apparently unused. If somone would like to get it working again, and/or adopt it, that would be great, but otherwise we need to clean up.

Estimated changes