Merge pull request #1472 from JohnTitor/add-ices-20221222

Author: JohnTitor

ices/104736.sh

@@ -0,0 +1,36 @@
+#!/bin/bash
+
+rustc -C opt-level=3 - << EOF
+#![crate_type = "lib"]
+
+pub struct A;
+pub struct B;
+
+impl Drop for A {
+    fn drop(&mut self) {}
+}
+impl Drop for B {
+    fn drop(&mut self) {}
+}
+
+#[inline(always)]
+pub fn no_unwind() {}
+
+pub fn weird_temporary(a: A, b: B, nothing: ((), (), ()), x: bool) -> ((), (), ()) {
+    'scope: {
+        (
+            {
+                let _z = b;
+                if x {
+                    break 'scope nothing;
+                }
+            },
+            match { a } {
+                _ => (),
+            },
+            no_unwind(),
+        )
+    }
+}
+
+EOF

ices/105238-1.rs

@@ -0,0 +1,29 @@
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+trait Ret {
+    type R;
+}
+
+struct Cond<const PRED: bool, U, V>(std::marker::PhantomData<U>, std::marker::PhantomData<V>);
+
+impl<U, V> Ret for Cond<true, U, V> {
+    type R = U;
+}
+
+impl<U, V> Ret for Cond<false, U, V> {
+    type R = V;
+}
+
+struct RobinHashTable<const MAX_LENGTH: usize, CellIdx = Cond<{ MAX_LENGTH < 65535 }, u16, u32>>
+where
+    CellIdx: Ret,
+{
+    _idx: CellIdx::R,
+}
+
+fn main() {
+    use std::mem::size_of;
+    println!("{}", size_of::<RobinHashTable<1024>>());
+    println!("{}", size_of::<RobinHashTable<65536>>());
+}

ices/105238-2.rs

@@ -0,0 +1,29 @@
+#![allow(incomplete_features)]
+#![feature(generic_const_exprs)]
+
+trait Ret {
+    type R;
+}
+
+struct Cond<const PRED: bool, U, V>(std::marker::PhantomData<U>, std::marker::PhantomData<V>);
+
+impl<U, V> Ret for Cond<true, U, V> {
+    type R = U;
+}
+
+impl<U, V> Ret for Cond<false, U, V> {
+    type R = V;
+}
+
+struct RobinHashTable<
+    const MAX_LENGTH: usize,
+    CellIdx = <Cond<{ MAX_LENGTH < 65535 }, u16, u32> as Ret>::R,
+> {
+    _idx: CellIdx,
+}
+
+fn main() {
+    use std::mem::size_of;
+    println!("{}", size_of::<RobinHashTable<1024>>());
+    println!("{}", size_of::<RobinHashTable<65536>>());
+}

ices/105249.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+rustc -Zpolymorphize=on - << EOF
+trait Foo<T> {
+    fn print<'a>(&'a self) where T: 'a { println!("foo"); }
+}
+
+impl<'a> Foo<&'a ()> for () { }
+
+trait Bar: for<'a> Foo<&'a ()> { }
+
+impl Bar for () {}
+
+fn main() {
+    (&() as &dyn Bar).print(); // Segfault
+}
+
+EOF

ices/105488.rs

@@ -0,0 +1,37 @@
+pub trait MyFnOnce {
+    type Output;
+
+    fn call_my_fn_once(self) -> Self::Output;
+}
+
+pub struct WrapFnOnce<F>(F);
+
+impl<F: FnOnce() -> D, D: MyFnOnce> MyFnOnce for WrapFnOnce<F> {
+    type Output = D::Output;
+
+    fn call_my_fn_once(self) -> Self::Output {
+        D::call_my_fn_once(self.0())
+    }
+}
+
+impl<F: FnOnce() -> D, D: MyFnOnce> MyFnOnce for F {
+    type Output = D::Output;
+
+    fn call_my_fn_once(self) -> Self::Output {
+        D::call_my_fn_once(self())
+    }
+}
+
+pub fn my_fn_1() -> impl MyFnOnce {
+    my_fn_2
+}
+
+pub fn my_fn_2() -> impl MyFnOnce {
+    WrapFnOnce(my_fn_1)
+}
+
+fn main() {
+    let v = my_fn_1();
+
+    let _ = v.call_my_fn_once();
+}

ices/105631.rs

@@ -0,0 +1,5 @@
+#![feature(generic_const_exprs)]
+
+struct A<const B: str = 1, C>;
+
+fn main() {}

ices/105700.rs

@@ -0,0 +1,8 @@
+#![recursion_limit="4"]
+#![k1]
+#![k2]
+#![k3]
+#![k4]
+#![k5]
+
+fn main() {}

ices/105709.rs

@@ -0,0 +1,7 @@
+#![feature(generic_const_exprs)]
+#![feature(inline_const)]
+#![allow(incomplete_features)]
+
+pub struct ConstDefaultUnstable<const N: usize = { const { 3 } }>;
+
+fn main() {}

ices/105742.sh

@@ -0,0 +1,20 @@
+#!/bin/bash
+
+cat > out.rs << EOF
+use std::ops::Index;
+
+fn next<'a, T>(s: &'a mut dyn SVec<Item = T, Output = T>) {
+    let _ = s;
+}
+
+trait SVec: Index<<Self as SVec>::Item, Output = <Index<<Self as SVec>::Item, Output = <Self as SVec>::Item> as SVec>::Item> {
+    type Item<'a, T>;
+
+    fn len(&self) -> <Self as SVec>::Item;
+}
+
+fn main() {}
+
+EOF
+
+rustdoc -Znormalize-docs out.rs

ices/105777.rs

@@ -0,0 +1,6 @@
+#![feature(dyn_star)]
+
+const _: dyn* Send = &();
+// static V: dyn* Send = Sync = &();
+
+fn main() {}