nit: update error text to cite tracking issue

diff --git a/src/libcore/convert.rs b/src/libcore/convert.rs
index 6edd56f749290fbc8ffe7fa2785e9d75cc0b3fa7..71edea561b8bb1fb4b5b5976ad39339af70be908 100644 (file)
--- a/src/libcore/convert.rs
+++ b/src/libcore/convert.rs
@@ -556,12 +556,8 @@ fn from(t: T) -> T { t }
 
 #[stable(feature = "convert_infallible", since = "1.34.0")]
 #[cfg(not(boostrap_stdarch_ignore_this))]
-#[rustc_reservation_impl="a future version of Rust might implement `From<!>` for \
-    all types. \
-    However, it is OK to implement `From<!>` for types you own - \
-    when the blanket impl will be added, coherence will be changed \
-    to make these impls not be an error."
-]
+#[rustc_reservation_impl="permitting this impl would forbid us from adding \
+`impl<T> From<!> for T` later; see rust-lang/rust#64715 for details"]
 impl<T> From<!> for T {
     fn from(t: !) -> T { t }
 }

diff --git a/src/test/ui/never-from-impl-is-reserved.stderr b/src/test/ui/never-from-impl-is-reserved.stderr
index 352fed7ca45156c3f2d820b18740060a72f76cfe..8b8d0f4ea73bea6f27ca5e1e6efb48cd9d337e7f 100644 (file)
--- a/src/test/ui/never-from-impl-is-reserved.stderr
+++ b/src/test/ui/never-from-impl-is-reserved.stderr
@@ -7,7 +7,7 @@ LL | // This will conflict with the first impl if we impl `for<T> T: From<!>`.
 LL | impl<T> MyTrait for T where T: From<!> {}
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `MyFoo`
    |
-   = note: a future version of Rust might implement `From<!>` for all types. However, it is OK to implement `From<!>` for types you own - when the blanket impl will be added, coherence will be changed to make these impls not be an error.
+   = note: permitting this impl would forbid us from adding `impl<T> From<!> for T` later; see rust-lang/rust#64715 for details
 
 error: aborting due to previous error