(`==` is (essentially) `fn eq<T>(x: &T, y: &T) -> bool`, at the moment, so considerations about "magical" conversions still seem to apply.)