Merge pull request #1138 from matthiaskrgr/ices_feb18

add more (rustdoc) ices

Author: Alexendoo

ices/79461.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+trait IAmATrait {
+    type Item;
+    fn function(&self) -> Self::Item;
+}
+
+struct IAmAnObject(usize);
+
+impl IAmATrait for IAmAnObject {
+    type Item = _;
+    fn function(&self) -> Self::Item {
+        self.0
+    }
+}
+
+fn main() {}
+
+EOF
+
+rustdoc --edition=2021 out.rs

ices/79466.sh

@@ -0,0 +1,17 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+#![allow(dead_code)]
+#![feature(negative_impls)]
+
+// Overlapping negative impls for `MyStruct` are not permitted:
+struct MyStruct;
+impl !Send for MyStruct {}
+impl !Send for MyStruct {}
+//~^ ERROR conflicting implementations of trait
+
+fn main() {}
+
+EOF
+
+rustdoc --edition=2021 out.rs

ices/79468.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+const HUGE_SIZE: usize = !0usize / 8;
+static MY_TOO_BIG_ARRAY_2: [u8; HUGE_SIZE] = [0x00; HUGE_SIZE];
+
+EOF
+
+rustdoc --edition=2021 out.rs

ices/79494.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+const ZST1: &[u8] = unsafe { std::mem::transmute(1usize) };
+pub const ZST2: u8 = std::mem::transmute(1usize);
+
+EOF
+
+rustdoc --edition=2021 out.rs

ices/79496.sh

@@ -0,0 +1,18 @@
+#!/bin/bash
+
+cat > out.rs <<'EOF'
+
+#![crate_type="proc-macro"]
+
+extern crate proc_macro;
+use proc_macro::TokenStream;
+
+#[proc_macro_derive()]
+pub fn some_derive(_: TokenStream) -> TokenStream {
+    TokenStream::new()
+}
+
+
+EOF
+
+rustdoc --edition=2021 out.rs

ices/94073.sh

@@ -0,0 +1,24 @@
+rustc --emit=mir -Zmir-opt-level=3 - 2>&1 << EOF
+
+use std::mem;
+
+#[derive(Copy, Clone)]
+enum Never {}
+
+union Foo {
+    a: u64,
+    b: Never
+}
+
+fn foo(xs: [(Never, u32); 1]) -> u32 { xs[0].1 }
+
+fn bar([(_, x)]: [(Never, u32); 1]) -> u32 { x }
+
+fn main() {
+    println!("{}", mem::size_of::<Foo>());
+
+    let f = [Foo { a: 42 }, Foo { a: 10 }];
+    println!("{:?}", unsafe { f[0].a });
+}
+
+EOF