add 6 ices

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
+