diff --git a/library/core/src/mem/type_info.rs b/library/core/src/mem/type_info.rs
index 7938e2b52ed02..6b16bfadc233a 100644
--- a/library/core/src/mem/type_info.rs
+++ b/library/core/src/mem/type_info.rs
@@ -31,7 +31,7 @@ impl Type {
     #[unstable(feature = "type_info", issue = "146922")]
     #[rustc_const_unstable(feature = "type_info", issue = "146922")]
     // FIXME(reflection): don't require the 'static bound
-    pub const fn of<T: 'static>() -> Self {
+    pub const fn of<T: ?Sized + 'static>() -> Self {
         const { TypeId::of::<T>().info() }
     }
 }
diff --git a/tests/ui/reflection/dump.rs b/tests/ui/reflection/dump.rs
index 3bf4f32b6641d..efc3024a84e9f 100644
--- a/tests/ui/reflection/dump.rs
+++ b/tests/ui/reflection/dump.rs
@@ -27,4 +27,6 @@ fn main() {
     println!("{:#?}", const { Type::of::<&Unsized>() }.kind);
     println!("{:#?}", const { Type::of::<&str>() }.kind);
     println!("{:#?}", const { Type::of::<&[u8]>() }.kind);
+    println!("{:#?}", const { Type::of::<str>() }.kind);
+    println!("{:#?}", const { Type::of::<[u8]>() }.kind);
 }
diff --git a/tests/ui/reflection/dump.run.stdout b/tests/ui/reflection/dump.run.stdout
index 71fd80b466580..e9db772e8ebac 100644
--- a/tests/ui/reflection/dump.run.stdout
+++ b/tests/ui/reflection/dump.run.stdout
@@ -21,3 +21,5 @@ Other
 Other
 Other
 Other
+Other
+Other