Auto merge of #124038 - matthiaskrgr:one_or_two_more_tests, r=jieyouxu

crashes: add a couple more ice tests

Author: bors

tests/crashes/100618.rs

@@ -0,0 +1,12 @@
+//@ known-bug: #100618
+//@ compile-flags: -Cdebuginfo=2
+
+//@ only-x86_64
+enum Foo<T: 'static> {
+    Value(T),
+    Recursive(&'static Foo<Option<T>>),
+}
+
+fn main() {
+    let _x = Foo::Value(());
+}

tests/crashes/105299.rs

@@ -0,0 +1,19 @@
+//@ known-bug: #105299
+
+pub trait Foo: Clone {}
+
+pub struct Bar<'a, T: Clone> {
+    pub cow: std::borrow::Cow<'a, [T]>,
+
+    pub THIS_CAUSES_ICE: (), // #1
+}
+
+impl<T> Bar<'_, T>
+where
+    T: Clone,
+    [T]: Foo,
+{
+    pub fn MOVES_SELF(self) {} // #2
+}
+
+pub fn main() {}

tests/crashes/107362.rs

@@ -0,0 +1,43 @@
+//@ known-bug: #107362
+//@ compile-flags: -Cdebuginfo=2
+
+pub trait Functor
+{
+    type With<T>: Functor;
+}
+
+pub struct IdFunctor<T>(T);
+impl<T> Functor for IdFunctor<T> {
+    type With<T2> = IdFunctor<T2>;
+}
+
+impl<T> Functor for Vec<T> {
+    type With<T2> = Vec<T2> ;
+}
+
+
+pub struct Compose<F1, F2, T>(F1::With<F2::With<T>>)
+where
+    F1: Functor + ?Sized,
+    F2: Functor + ?Sized;
+
+impl<F1, F2, T> Functor for Compose<F1, F2, T>
+where
+    F1: Functor + ?Sized,
+    F2: Functor + ?Sized
+{
+    type With<T2> = F1::With<F2::With<T2>> ;
+}
+
+pub enum Value<F>
+where
+    F: Functor + ?Sized,
+{
+    SignedInt(*mut F::With<i64>),
+    Array(*mut Value<Compose<F, Vec<()>, ()>>),
+
+}
+
+fn main() {
+    let x: Value<IdFunctor<()>> = Value::SignedInt(&mut IdFunctor(1));
+}

tests/crashes/108499.rs

@@ -0,0 +1,44 @@
+//@ known-bug: #108499
+
+// at lower recursion limits the recursion limit is reached before the bug happens
+#![recursion_limit = "2000"]
+
+// this will try to calculate 3↑↑3=3^(3^3)
+type Test = <() as Op<((), ()), [[[(); 0]; 0]; 0], [[[(); 0]; 0]; 0],
+    [[[[(); 0]; 0]; 0]; 0]>>::Result;
+
+use std::default::Default;
+
+fn main() {
+    // force the compiler to actually evaluate `Test`
+    println!("{}", Test::default());
+}
+
+trait Op<X, A, B, C> {
+    type Result;
+}
+
+// this recursive function defines the hyperoperation sequence,
+// a canonical example of the type of recursion which produces the issue
+// the problem seems to be caused by having two recursive calls, the second
+// of which depending on the first
+impl<
+    X: Op<(X, Y), A, [B; 0], [C; 0]>,
+    Y: Op<(X, Y), A, X::Result, C>,
+    A, B, C,
+> Op<(X, Y), A, [[B; 0]; 0], [C; 0]> for () {
+    type Result = Y::Result;
+}
+
+// base cases
+impl<X, A, B> Op<X, A, B, ()> for () {
+    type Result = [B; 0];
+}
+
+impl<X, A> Op<X, A, [(); 0], [(); 0]> for () {
+    type Result = [A; 0];
+}
+
+impl<X, A, C> Op<X, A, [(); 0], [[C; 0]; 0]> for () {
+    type Result = A;
+}

tests/crashes/114160.rs

@@ -0,0 +1,31 @@
+//@ known-bug: #114160
+//@ compile-flags: -Zsanitizer=cfi -Clto  -Zvalidate-mir -Ccodegen-units=1
+struct Cursor {}
+struct TokenTree {}
+
+impl Iterator for Cursor {
+    type Item = TokenTree;
+
+    fn next(&mut self) -> Option<TokenTree> {
+        None
+    }
+}
+
+fn tokenstream_probably_equal_for_proc_macro() {
+    fn break_tokens(_tree: TokenTree) -> impl Iterator {
+        let token_trees: Vec<TokenTree> = vec![];
+        token_trees.into_iter()
+    }
+
+    let c1 = Cursor {};
+    let c2 = Cursor {};
+
+    let mut t1 = c1.flat_map(break_tokens);
+    let mut t2 = c2.flat_map(break_tokens);
+
+    for (_t1, _t2) in t1.by_ref().zip(t2.by_ref()) {}
+}
+
+fn main() {
+    tokenstream_probably_equal_for_proc_macro();
+}

tests/crashes/114920.rs

@@ -0,0 +1,2 @@
+//@ known-bug: #114920
+#![core::prelude::v1::test]

tests/crashes/118185-2.rs

@@ -0,0 +1,26 @@
+//@ known-bug: #118185
+
+fn main() {
+    let target: Target = create_target();
+    target.get(0); // correct arguments work
+    target.get(10.0); // CRASH HERE
+}
+
+// must be generic
+fn create_target<T>() -> T {
+    unimplemented!()
+}
+
+// unimplemented trait, but contains function with the same name
+pub trait RandomTrait {
+    fn get(&mut self); // but less arguments
+}
+
+struct Target;
+
+impl Target {
+    // correct function with arguments
+    pub fn get(&self, data: i32) {
+        unimplemented!()
+    }
+}

tests/crashes/118545.rs

@@ -0,0 +1,8 @@
+//@ known-bug: #118545
+#![feature(generic_const_exprs)]
+
+struct Checked<const F: fn()>;
+
+fn foo() {}
+const _: Checked<foo> = Checked::<foo>;
+pub fn main() {}

tests/crashes/118590.rs

@@ -0,0 +1,11 @@
+//@ known-bug: #118590
+
+fn main() {
+    recurse(std::iter::empty::<()>())
+}
+
+fn recurse(nums: impl Iterator) {
+    if true { return }
+
+    recurse(nums.skip(42).peekable())
+}

tests/crashes/119381.rs

@@ -0,0 +1,6 @@
+//@ known-bug: #119381
+
+#![feature(with_negative_coherence)]
+trait Trait {}
+impl<const N: u8> Trait for [(); N] {}
+impl<const N: i8> Trait for [(); N] {}