nikomatsakis provide a default impl of `dominates`

Latest commit 3e9cc88

May 5, 2018