Negative impls are only allowed for auto traits. For more information see the opt-in builtin traits RFC.