diff --git a/library/coretests/tests/convert.rs b/library/coretests/tests/convert.rs
index f1048f4cf09cb..1eb7468e56ea7 100644
--- a/library/coretests/tests/convert.rs
+++ b/library/coretests/tests/convert.rs
@@ -14,3 +14,20 @@ fn convert() {
     const BAR: Vec<String> = into(Vec::new());
     assert_eq!(BAR, Vec::<String>::new());
 }
+
+#[test]
+fn into_as_try_into() {
+    struct A;
+    struct B;
+
+    impl Into<B> for A {
+        fn into(self) -> B {
+            B
+        }
+    }
+
+    // This wouldn't compile if the `TryInto`/`TryFrom` blanket impls used
+    // `U: From<T>` instead of `T: Into<U>`
+    let Ok(B) = A.try_into();
+    let Ok(B) = B::try_from(A);
+}
diff --git a/tests/ui/never_type/try_from.rs b/tests/ui/never_type/try_from.rs
deleted file mode 100644
index acde524e98f5b..0000000000000
--- a/tests/ui/never_type/try_from.rs
+++ /dev/null
@@ -1,37 +0,0 @@
-//@ run-pass
-// This test relies on `TryFrom` being blanket impl for all `T: Into`
-// and `TryInto` being blanket impl for all `U: TryFrom`
-
-// This test was added to show the motivation for doing this
-// over `TryFrom` being blanket impl for all `T: From`
-
-#![feature(never_type)]
-
-use std::convert::{TryInto, Infallible};
-
-struct Foo<T> {
-    t: T,
-}
-
-// This fails to compile due to coherence restrictions
-// as of Rust version 1.32.x, therefore it could not be used
-// instead of the `Into` version of the impl, and serves as
-// motivation for a blanket impl for all `T: Into`, instead
-// of a blanket impl for all `T: From`
-/*
-impl<T> From<Foo<T>> for Box<T> {
-    fn from(foo: Foo<T>) -> Box<T> {
-        Box::new(foo.t)
-    }
-}
-*/
-
-impl<T> Into<Vec<T>> for Foo<T> {
-    fn into(self) -> Vec<T> {
-        vec![self.t]
-    }
-}
-
-pub fn main() {
-    let _: Result<Vec<i32>, Infallible> = Foo { t: 10 }.try_into();
-}