Commit 2026-10-28 10:44 64e4c10c

View on Github →

chore: replace exact_mod_cast with exact mod_cast (#44348) The two spellings are equivalent (precisely, exact_mod_cast t is defined as exact mod_cast (t : _)), but the latter spelling is more composable. For example, by exact_mod_cast t is equivalent to by exact mod_cast t, which itself simplifies (almost always) to mod_cast t. Perform the same change for apply_mod_cast. Zulip

Estimated changes