crashes: more tests

Author: matthiaskrgr

tests/crashes/142866.rs

@@ -0,0 +1,25 @@
+//@ known-bug: rust-lang/rust#142866
+//@ compile-flags: -Znext-solver=globally
+trait Trait<T> {}
+struct A<T>(T);
+struct B<T>(T);
+
+trait IncompleteGuidance {}
+
+impl<T> Trait<()> for A<T>
+where
+    T: IncompleteGuidance,
+{
+}
+
+impl<T, U> Trait<()> for B<T>
+where
+    A<T>: Trait<U>,
+{
+}
+
+fn impls_trait<T: Trait<()>>() {}
+
+fn main() {
+    impls_trait::<B<()>>();
+}

tests/crashes/142913.rs

@@ -0,0 +1,7 @@
+//@ known-bug: rust-lang/rust#142913
+#![feature(generic_const_parameter_types)]
+struct Variant;
+
+fn foo<'a, const N: &'a Variant = {}>() {}
+
+fn main() {}

tests/crashes/143806.rs

@@ -0,0 +1,17 @@
+//@ known-bug: rust-lang/rust#143806
+//@compile-flags: -Zlint-mir
+#![feature(loop_match)]
+
+fn main() {}
+
+fn helper() -> u8 {
+    let mut state = 0u8;
+    #[loop_match]
+    'a: loop {
+        state = 'blk: {
+            match state {
+                _ => break 'blk state,
+            }
+        }
+    }
+}

tests/crashes/143872.rs

@@ -0,0 +1,16 @@
+//@ known-bug: rust-lang/rust#143872
+//@ needs-rustc-debug-assertions
+trait Project {
+    type Ty;
+}
+impl Project for &'_ &'static () {
+    type Ty = ();
+}
+trait Trait {
+    fn get<'s>(s: &'s str, _: ()) -> &'_ str;
+}
+impl Trait for () {
+    fn get<'s>(s: &'s str, _: <&&'s () as Project>::Ty) -> &'static str {
+        s
+    }
+}

tests/crashes/143896.rs

@@ -0,0 +1,9 @@
+//@ known-bug: rust-lang/rust#143896
+#![feature(associated_const_equality)]
+trait TraitA<'a> {
+    const K: usize = 0;
+}
+impl<T> TraitA<'_> for () {}
+impl dyn TraitA<'_> where (): TraitA<'a,K = 0> {}
+
+pub fn main() {}

tests/crashes/144033.rs

@@ -0,0 +1,16 @@
+//@ known-bug: rust-lang/rust#144033
+trait FooMut {
+    fn bar<I>(self, _: I)
+    where
+        for<'b> &'b I: Iterator<Item = &'b ()>;
+}
+
+impl FooMut for () {
+    fn bar<I>(self, _: I)
+    where
+        for<'b> &'b I: Iterator,
+    {
+        let collection = std::iter::empty::<()>().map(|_| &());
+        self.bar(collection)
+    }
+}

tests/crashes/144241.rs

@@ -0,0 +1,3 @@
+//@ known-bug: rust-lang/rust#144241
+//@ edition:2024
+type _0 = dyn !Sized;

tests/crashes/144501.rs

@@ -0,0 +1,13 @@
+//@ known-bug: rust-lang/rust#144501
+//@ needs-rustc-debug-assertions
+enum E {
+    S0 {
+        s: String,
+    },
+    Bar = {
+        let x = 1;
+        3
+    },
+}
+
+static C: E = E::S1 { u: 23 };

tests/crashes/144547.rs

@@ -0,0 +1,25 @@
+//@ known-bug: rust-lang/rust#144547
+trait UnderlyingImpl<const MAX_SIZE: usize> {
+    type InfoType: LevelInfo;
+    type SupportedArray<T>;
+}
+
+trait LevelInfo {
+    const SUPPORTED_SLOTS: usize;
+}
+
+struct Info;
+
+impl LevelInfo for Info {
+    const SUPPORTED_SLOTS: usize = 1;
+}
+
+struct SomeImpl;
+
+impl<const MAX_SIZE: usize> UnderlyingImpl<MAX_SIZE> for SomeImpl {
+    type InfoType = Info;
+    // This line makes compiler panic
+    type SupportedArray<T> = [T; <Self::InfoType as LevelInfo>::SUPPORTED_SLOTS];
+    // But this works
+    //type SupportedArray<T> = [T; <Info as LevelInfo>::SUPPORTED_SLOTS];
+}

tests/crashes/144564.rs

@@ -0,0 +1,14 @@
+//@ known-bug: rust-lang/rust#144564
+//@ needs-rustc-debug-assertions
+
+trait Trait<'a> {
+    type Out;
+}
+
+fn weird_bound<X>() -> X
+where
+    for<'a> X: Trait<'a>,
+    <X as Trait<'a>>::Out: Copy,
+{
+    todo!()
+}