Merge pull request #457 from JohnTitor/add-ices

Add 5 ICEs

Author: JohnTitor

ices/75153.rs

@@ -0,0 +1,14 @@
+pub const fn is_zst<T: ?Sized>() -> usize {
+    if std::mem::size_of::<T>() == 0 {
+        1
+    } else {
+        0
+    }
+}
+
+pub struct AtLeastByte<T: ?Sized> {
+    value: T,
+    pad: [u8; is_zst::<T>()],
+}
+
+fn main() {}

ices/75158.rs

@@ -0,0 +1,9 @@
+struct S<T> { x: [T; !0] }
+
+pub fn f() -> usize {
+    std::mem::size_of::<S<u8>>()
+}
+
+fn main() {
+    let x = f();
+}

ices/75299.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+rustc -Z mir-opt-level=3 - << EOF
+#![feature(const_generics, box_syntax)]
+#![allow(incomplete_features)]
+
+fn main() {
+    fn foo<const N: usize>() {
+        box [0; N];
+    }
+    foo::<1>();
+}
+
+EOF

ices/75323.rs

@@ -0,0 +1,13 @@
+#![feature(min_const_generics)]
+
+fn test<const N: usize>() {}
+
+fn wow<'a>() -> &'a () {
+    test::<
+        {
+            let _: &'a ();
+            3
+        },
+    >();
+    &()
+}

ices/75415.rs

@@ -0,0 +1,13 @@
+#![allow(incomplete_features)]
+#![feature(generic_associated_types)]
+#![feature(const_generics)]
+
+pub trait Buffer<const T: usize> {}
+
+pub trait Device {
+    type Buffer<const T: usize>: Buffer<{ T }>;
+
+    fn create_buffer<const T: usize>(&self) -> Option<Self::Buffer<{ T }>>;
+}
+
+fn main() {}