Merge pull request #1469 from JohnTitor/add-ices-20221221

ices/100772.sh

@@ -9,4 +9,3 @@ fn main() {
 }
 
 EOF
-

ices/102252.rs

@@ -0,0 +1,12 @@
+#![feature(min_specialization, rustc_attrs)]
+
+#[rustc_specialization_trait]
+pub trait Trait {}
+
+struct Struct
+where
+    Self: Iterator<Item = <Self as Iterator>::Item>, {}
+
+impl Trait for Struct {}
+
+fn main() {}

ices/102383-1.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+rustc "--edition=2018" "-Zdrop-tracking" "--crate-type=lib" - << EOF
+pub struct File<B> {
+    block: B,
+}
+
+pub async fn commit<B: Clone>(this: &mut File<B>) {
+    async {}.await;
+    async {}.await;
+    async {}.await;
+    async {}.await;
+
+    let file = async { &this }.await;
+    *async { &mut this.block }.await = file.block.clone();
+}
+
+EOF

ices/102383-2.sh

@@ -0,0 +1,28 @@
+#!/bin/bash
+
+rustc "-Zdrop-tracking" "--edition=2018" - << EOF
+pub struct File<B> {
+    block: B,
+}
+
+pub async fn commit<B: Clone>(this: &mut File<B>) {
+    async {}.await;
+    async {}.await;
+    async {}.await;
+    async {}.await;
+
+    let file = async { &this }.await;
+    *async { &mut this.block }.await = file.block.clone();
+}
+
+fn main() {
+    let mut file = File {
+        block: String::new(),
+    };
+    let _ = async move {
+        commit(&mut file).await;
+    };
+}
+
+
+EOF

ices/104172.rs

@@ -0,0 +1,13 @@
+#![allow(dead_code)]
+
+const N: usize = {
+    struct U;
+    ! let y = 42;
+    3
+};
+
+struct S {
+    x: [(); N]
+}
+
+fn main() {}

ices/104367.rs

@@ -0,0 +1,7 @@
+#[derive(A)]
+struct S {
+    d: [u32; {
+        #![cfg] {
+            #![w,)
+
+fn main() {}

ices/104368.rs

@@ -0,0 +1,7 @@
+struct S {
+    d: [u32; {
+        #![cfg_attr(not(X),Y) Z]
+    }
+}
+
+fn main() {}

ices/104685.rs

@@ -0,0 +1,15 @@
+#![feature(extern_types)]
+
+extern "C" {
+    pub type ExternType;
+}
+
+extern "C" {
+    pub static EXTERN: ExternType;
+}
+
+pub static EMPTY: () = unsafe {
+    &EXTERN;
+};
+
+fn main() {}

ices/104843.sh

@@ -0,0 +1,27 @@
+#!/bin/bash
+
+rustc -O - << EOF
+
+#![feature(let_chains)]
+
+struct F(Box<()>);
+
+impl F {
+    fn s(&self) -> Option<&str> {
+        None
+    }
+}
+
+fn cex() -> Option<F> {
+    None
+}
+
+fn main() {
+    if false
+        && let Some(ce) = cex()
+        && let Some(_ce) = ce.s()
+    {
+    }
+}
+
+EOF

ices/105821.rs

@@ -0,0 +1,21 @@
+#![allow(incomplete_features)]
+#![feature(adt_const_params, const_ptr_read, generic_const_exprs)]
+#![allow(dead_code)]
+
+const fn catone<const M: usize>(_a: &[u8; M]) -> [u8; M + 1]
+where
+    [(); M + 1]:,
+{
+    unimplemented!()
+}
+
+struct Catter<const A: &'static [u8]>;
+impl<const A: &'static [u8]> Catter<A>
+where
+    [(); A.len() + 1]:,
+{
+    const ZEROS: &'static [u8; A.len()] = &[0_u8; A.len()];
+    const R: &'static [u8] = &catone(Self::ZEROS);
+}
+
+fn main() {}

ices/105952-1.sh

@@ -0,0 +1,16 @@
+#!/bin/bash
+
+cat > foo.rs << EOF
+#![feature(associated_const_equality)]
+pub enum ParseMode {
+    Raw,
+}
+pub trait Parse {
+    const PARSE_MODE: ParseMode;
+}
+pub trait RenderRaw {}
+impl<T: Parse<PARSE_MODE = { ParseMode::Raw }>> RenderRaw  for T {}
+
+EOF
+
+rustdoc foo.rs

ices/105952-2.sh

@@ -0,0 +1,15 @@
+#!/bin/bash
+
+cat > foo.rs << EOF
+#![feature(associated_const_equality)]
+pub enum ParseMode {
+    Raw,
+}
+pub trait Parse {
+    const PARSE_MODE: ParseMode;
+}
+pub trait RenderRaw: Parse<PARSE_MODE = { ParseMode::Raw }> {}
+
+EOF
+
+rustdoc foo.rs

ices/105969.rs

@@ -0,0 +1,11 @@
+#![feature(dyn_star)]
+#![allow(incomplete_features)]
+
+use core::fmt::Debug;
+
+const FOO: () = {
+    let foo = &3;
+    let i = foo as dyn* Debug;
+};
+
+fn main() {}

ices/91380.sh

@@ -37,4 +37,4 @@ pub struct SecondaryResolutionHomomorphism<
 }
 EOF
 
-rustdoc foo.rs
+rustdoc foo.rs

ices/96287.sh

@@ -1,8 +1,6 @@
 #!/bin/bash
 
 cat > out.rs <<'EOF'
-
-
 #![feature(type_alias_impl_trait)]
 
 fn main() {}
@@ -21,7 +19,6 @@ fn foo_desugared<T: TraitWithAssoc>(_: T) -> Foo<T> {
     ()
 }
 
-
 EOF
 
 rustdoc --edition=2021 out.rs