mirror of
https://github.com/rust-lang/rust.git
synced 2026-01-20 11:10:39 +00:00
Consistently use dominates instead of is_dominated_by There is a number of APIs that answer dominance queries. Previously they were named either "dominates" or "is_dominated_by". Consistently use the "dominates" form. No functional changes.