I would argue Deref coercions are still explicit, because the trait implementations are explicit. There is not a magic mapping of types whose references can be

I would argue Deref coercions are still explicit, because the trait implementations are explicit. There is not a magic mapping of types whose references can be coerced to each other, it is exactly the ones that implement Deref<Target=T>.