Merge pull request #1375 from matthiaskrgr/the_return_of_the_ice

add 6 ices

Author: Alexendoo

ices/100075.rs

@@ -0,0 +1,19 @@
+trait Marker {}
+impl<T> Marker for T {}
+
+fn maybe<T>(_t: T) ->
+    Option<
+        //removing the line below makes it compile
+        &'static
+    T> {
+    None
+}
+
+fn _g<T>(t: &'static T) -> &'static impl Marker {
+    if let Some(t) = maybe(t) {
+        return _g(t);
+    }
+    todo!()
+}
+
+pub fn main() {}

ices/100103.rs

@@ -0,0 +1,9 @@
+#![feature(let_else)]
+fn main() {
+    let Some(x) = Some(()) else {
+        match Err(()) {
+            Err(()) => return (),
+            Ok(val) => val,
+        }
+    };
+}

ices/100114.rs

@@ -0,0 +1,13 @@
+#![allow(warnings)]
+#![feature(never_type)]
+#![allow(const_err)]
+
+use std::mem::MaybeUninit;
+
+const fn never() -> ! {
+    unsafe { MaybeUninit::uninit().assume_init() }
+}
+
+const NEVER: ! = never();
+
+fn main() {}

ices/100143.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+// struct Peekable<I: Iterator>
+use std::iter::Peekable;
+
+pub struct Span<F: Fn(&i32)> {
+    inner: Peekable<ConditionalIterator<F>>,
+}
+
+struct ConditionalIterator<F> {
+    f: F,
+}
+
+impl<F: Fn(&i32)> Iterator for ConditionalIterator<F> {
+    type Item = ();
+
+    fn next(&mut self) -> Option<Self::Item> {
+        todo!()
+    }
+}
+
+EOF
+
+rustdoc --edition=2021 out.rs
+

ices/100183.rs

@@ -0,0 +1,5 @@
+struct Struct {
+    y: (typeof("hey"),),
+}
+
+pub fn main() {}

ices/100187.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+rustc "-Zsave-analysis" - <<'EOF'
+
+trait Pattern<'a> {}
+
+async fn named_trait<'a, 'b>(foo: impl Pattern<'a>) -> impl Pattern<'b> {}
+
+EOF
+