diff --git a/ices/80062.rs b/ices/80062.rs
new file mode 100644
index 00000000..89230872
--- /dev/null
+++ b/ices/80062.rs
@@ -0,0 +1,4 @@
+fn sof<usize>() -> usize {}
+fn test<T>() {
+    let _: [u8; sof::<T>()];
+}